1453 search results - page 120 / 291 » State and history in operating systems |
164
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
184
click to vote
JIRS
1998
15 years 6 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
163
click to vote
CCCG
2007
15 years 7 months ago
2007
Let S be a set system of convex sets in Rd . Helly’s theorem states that if all sets in S have empty intersection, then there is a subset S′ ⊂ S of size d+1 which also has e...
164
click to vote
CCE
2004
15 years 6 months ago
2004
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
184
click to vote
CIDR
2009
15 years 7 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...