 |
Omega Project
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
http://www.cs.umd.edu/projects/omega/
Umd.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Constraints for the Web
Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author and
http://www.cs.washington.edu/research/constraints/web/mm97.dir/
Washington.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Cassowary
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have val
http://www.cs.washington.edu/research/constraints/cassowary/
Washington.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Garnet Toolkit FAQ
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.
http://www.faqs.org/faqs/garnet-faq/
Faqs.org ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|