1888 search results - page 329 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
127
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...
108
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Several peer-to-peer systems for live streaming have been recently deployed (e.g. CoolStreaming, PPLive, SopCast). These all rely on distributed, epidemic-style dissemination mech...
135
Voted
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
113
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
114
Voted
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...