6239 search results - page 1033 / 1248 » From Zinc to Design Model |
165
click to vote
ASPLOS
2004
ACM
16 years 1 days ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
155
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Awareness has now become a widely accepted central feature in groupware systems. In this context, providing an awareness support consists in delivering to users involved in a colla...
173
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
219
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
169
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...