13489 search results - page 362 / 2698 » Operating System |
181
Voted
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
161
click to vote
JSYML
2000
15 years 6 months ago
2000
The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that "monotonicity" cannot be discarde...
199
Voted
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...
184
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
165
Voted
PVM
2004
Springer
16 years 2 days ago
2004
Springer
As the number of nodes in cluster systems continues to grow, leveraging scalable algorithms in all aspects of such systems becomes key to maintaining performance. While scalable al...