7092 search results - page 289 / 1419 » Parallelizing constraint programs |
138
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
159
click to vote
CL
2007
Springer
15 years 2 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
121
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
The recent emergence of clouds is making the vision of utility computing realizable, i.e. computing resources and services can be delivered, utilized, and paid for as utilities su...
130
click to vote
CLOUDCOM
2010
Springer
15 years 15 days ago
2010
Springer
Commercial cloud offerings, such as Amazon's EC2, let users allocate compute resources on demand, charging based on reserved time intervals. While this gives great flexibilit...
131
click to vote
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...