1888 search results - page 335 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
101
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
235
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
114
Voted
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
261
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
112
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...