245 search results - page 26 / 49 » Programming Autonomic Systems with Multiple Constraint Store... |
110
Voted
ASPLOS
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
95
Voted
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
108
click to vote
CLIMA
2004
15 years 9 days ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
142
click to vote
CODES
2008
IEEE
15 years 21 days ago
2008
IEEE
Memory subsystems have been considered as one of the most critical components in embedded systems and furthermore, displaying increasing complexity as application requirements div...