1420 search results - page 219 / 284 » A Framework for Scheduler Synthesis |
161
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
179
click to vote
GPC
2009
Springer
15 years 10 months ago
2009
Springer
A typical grid application requires several processors for execution that may not be fulfilled by single cluster at times. Co-allocation is the concept of aggregating computing res...
155
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
154
click to vote
ESTIMEDIA
2008
Springer
15 years 7 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
132
click to vote
AIPS
2000
15 years 7 months ago
2000
In this paper, we describe the Barrel Allocator, a scheduling tool developed for day-to-day allocation and management of airlift and tanker resources at the USAF Air Mobility Comm...