1420 search results - page 213 / 284 » A Framework for Scheduler Synthesis |
154
click to vote
EMSOFT
2009
Springer
16 years 21 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
185
click to vote
PIMRC
2008
IEEE
16 years 15 days ago
2008
IEEE
—Wireless mesh networks (WMNs) is a promising key technology for next generation wireless backhauling that have recently attracted both the academic and industrial interest. Such...
176
click to vote
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
15 years 8 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
158
click to vote
MOBICOM
2010
ACM
15 years 6 months ago
2010
ACM
This paper describes the design and implementation of a network virtualization substrate (NVS) for effective virtualization of wireless resources in WiMAX networks. Virtualization...
158
click to vote
SIGMETRICS
2002
ACM
15 years 5 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...