1906 search results - page 66 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
112
click to vote
ENTCS
2006
15 years 3 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
145
click to vote
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
111
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents VITRAL, a multicolor text mode window manager designed for embedded real-time systems. Therefore, timeliness requirements and resource constraints are the main...
151
click to vote
ICPP
1999
IEEE
1999
IEEE
Multi-Capacity Bin Packing Algorithms with Applications to Job Scheduling under Multiple Constraints
15 years 7 months ago
In past massively parallel processing systems, such as the TMC CM-5 and the CRI T3E, the scheduling problem consisted of allocating a single type of resource among the waiting job...
128
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...