2355 search results - page 27 / 471 » Scheduling in the Z-Polyhedral Model |
WSC
1997
13 years 11 months ago
1997
TIME
2008
IEEE
14 years 4 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
MEMOCODE
2007
IEEE
14 years 4 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
ENTCS
2002
13 years 9 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
SUTC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—As the number of wireless sensor network applications continues to grow, the need for specialized task scheduling mechanisms, aware of the sensor devices’ capabilities...