982 search results - page 179 / 197 » Scheduling and Simulation: How to Upgrade Distributed System... |
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Network protocols have traditionally been designed using a layered method in part because it is easier to implement some portions of network protocols in software and other port...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
An important factor that needs to be taken into account by end-users and systems (schedulers, resource brokers, policy brokers) when mapping applications to the Grid, is the perfo...
PLDI
2003
ACM
14 years 27 days 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...
IEEEPACT
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
HPCA
2012
IEEE
12 years 3 months ago
2012
IEEE
Lowering supply voltage is one of the most effective techniques for reducing microprocessor power consumption. Unfortunately, at low voltages, chips are very sensitive to process ...