Sciweavers

4666 search results - page 84 / 934
» Equations on Timed Languages
Sort
View
66
Voted
PPDP
2005
Springer
15 years 6 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...
75
Voted
SIGADA
2004
Springer
15 years 6 months ago
Cheddar: a flexible real time scheduling framework
Frank Singhoff, Jérôme Legrand, Laure...
CP
2009
Springer
16 years 1 months ago
Filtering Numerical CSPs Using Well-Constrained Subsystems
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
94
Voted
IPPS
2007
IEEE
15 years 7 months ago
An Optimizing Compiler for Parallel Chemistry Simulations
Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
Jun Cao, Ayush Goyal, Samuel P. Midkiff, James M. ...