4887 search results - page 549 / 978 » System Level Design Using C |
168
click to vote
MM
2009
ACM
16 years 27 days ago
2009
ACM
We consider the problem of broadcasting multiple variable-bit-rate (VBR) video streams from a base station to many mobile devices over a wireless network, so that: (i) perceived q...
178
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
136
click to vote
SEW
2006
IEEE
16 years 11 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
171
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...
193
click to vote
APGV
2006
ACM
16 years 10 days ago
2006
ACM
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...