1967 search results - page 156 / 394 » The Case for Determinism in Database Systems |
170
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
190
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
193
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
188
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
131
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Hopf bifurcation theory for an oscillator subject to a weak feedback but a large delay is investigated for a specific laser system. The problem is motivated by semiconductor laser ...