4887 search results - page 643 / 978 » System Level Design Using C |
121
click to vote
TODAES
1998
15 years 4 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
143
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
127
Voted
OR
2005
Springer
15 years 10 months ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
135
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
Most of the literature on peer-to-peer (P2P) live streaming focuses on how to provide best-effort streaming quality by efficiently using the system bandwidth; however, there is n...
155
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...