1420 search results - page 259 / 284 » A Framework for Scheduler Synthesis |
177
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
151
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
Aim of this paper is to propose a methodology for the definition of an instruction-level energy estimation framework for VLIW (Very Long Instruction Word) processors. The power mo...
179
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
187
click to vote
EWSN
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
261
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...