34 search results - page 1 / 7 » A Model for Scheduling Protocol-Constrained Components and E... |
DAC
1999
ACM
14 years 5 months ago
1999
ACM
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
12
Voted
SIGMETRICS
2002
ACM
13 years 4 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
CORR
2012
Springer
12 years 14 days ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, hetero...