522 search results - page 62 / 105 » Necessary but Not Sufficient |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
INFOCOM
2000
IEEE
13 years 11 months ago
2000
IEEE
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
We study the problem of scheduling repetitive real-time tasks with the Earliest Deadline First (EDF) policy that can guarantee the given maximal temperature constraint. We show th...