13489 search results - page 282 / 2698 » Operating System |
150
click to vote
FAC
2006
15 years 6 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
160
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
208
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
The Apriori algorithm is a fundamental correlation-based data mining kernel used in a variety of fields. The innovation in this paper is a highly parallel custom architecture impl...
185
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
201
click to vote
SIAMCO
2011
15 years 1 months ago
2011
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...