7092 search results - page 131 / 1419 » Parallelizing constraint programs |
CLOUDCOM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
ECOOP
2003
Springer
14 years 3 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
PPOPP
2010
ACM
14 years 7 months ago
2010
ACM
ICPP
2006
IEEE
14 years 4 months ago
2006
IEEE
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE