14642 search results - page 2436 / 2929 » It's Time for a Change |
225
click to vote
LATIN
2004
Springer
16 years 14 days ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
208
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
256
click to vote
PARA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
173
click to vote
SAS
2004
Springer
16 years 13 days ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
191
click to vote
SAS
2004
Springer
16 years 13 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...