1967 search results - page 116 / 394 » The Case for Determinism in Database Systems |
200
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
144
click to vote
ASPDAC
2005
ACM
16 years 14 hour ago
2005
ACM
— The power consumption of the network interface plays a major role in determining the total operating lifetime of wireless networked embedded systems. In case of on-demand pagin...
194
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
167
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
147
click to vote
SIAMCO
2000
15 years 6 months ago
2000
We face the problem of determining a tracking domain of attraction, say the set of initial states starting from which it is possible to track reference signals in given class, for...