5838 search results - page 990 / 1168 » A File System for System Programming in Ubiquitous Computing |
122
Voted
CC
2007
Springer
15 years 10 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
140
click to vote
ISIPTA
2005
IEEE
15 years 9 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
141
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
142
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
117
click to vote
RAID
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a notion, behavioral distance, for evaluating the extent to which processes—potentially running different programs and executing on different platforms—behave si...