5180 search results - page 156 / 1036 » Concurrency, Time, and Constraints |
151
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...
167
click to vote
CCGRID
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
125
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
176
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
169
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...