7124 search results - page 846 / 1425 » Programming Languages and Operating Systems |
177
click to vote
APCSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
145
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
166
click to vote
CASSIS
2004
Springer
16 years 11 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
166
click to vote
GPCE
2004
Springer
16 years 11 days ago
2004
Springer
Object database management systems (ODBMSs) typically offer fixed approaches to evolve the schema of the database and adapt existing instances accordingly. Applications, however, h...
169
click to vote
CP
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...