5838 search results - page 717 / 1168 » A File System for System Programming in Ubiquitous Computing |
184
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
213
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Working in Winfree’s abstract tile assembly model, we show that a constant-size tile assembly system can be programmed through relative tile concentrations to build an n × n...
165
click to vote
CASSIS
2004
Springer
16 years 8 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...
164
Voted
CP
2003
Springer
16 years 2 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...
174
Voted
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...