1420 search results - page 84 / 284 » A Framework for Scheduler Synthesis |
159
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
160
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract-- The emerging paradigm of Grid Computing provides a powerful platform for the optimisation of complex computer models, such as those used to simulate real-world logistics...
199
click to vote
IANDC
2007
15 years 6 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
149
click to vote
DCC
2003
IEEE
16 years 5 months ago
2003
IEEE
We consider diversity for media streaming in a rate-distortion optimization framework. A sender-driven transmission scenario is investigated, where diversity is achieved by using ...
187
click to vote
DMSN
2009
ACM
16 years 20 days ago
2009
ACM
We study query scheduling in Wireless Sensor Networks (WSNs) with a focus on two important metrics: Quality of Service (QoS) and Quality of Data (QoD). The motivation comes from o...