Sciweavers

33 search results - page 1 / 7
» Run your research: on the effectiveness of lightweight mecha...
Sort
View
POPL
2012
ACM
12 years 9 days ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
CF
2009
ACM
13 years 11 months ago
A light-weight fairness mechanism for chip multiprocessor memory systems
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...
Magnus Jahre, Lasse Natvig
IPPS
2007
IEEE
13 years 11 months ago
Machine Bank: Own Your Virtual Personal Computer
In this paper, we report the design, implementation and experimental results of Machine Bank, a system engineered towards the popular shared-lab scenario, where users outnumber av...
Shuo Tang, Yu Chen, Zheng Zhang
ICRA
2006
IEEE
151views Robotics» more  ICRA 2006»
13 years 10 months ago
Development of a Lightweight, Underactuated Exoskeleton for Load-carrying Augmentation
- Metabolic studies have shown that there is a metabolic cost associated with carrying load [1]. Several leg exoskeletons have been developed by various groups in an attempt to aug...
Conor James Walsh, Daniel Paluska, Kenneth Pasch, ...
HPCA
2009
IEEE
14 years 5 months ago
Lightweight predication support for out of order processors
The benefits of Out of Order (OOO) processing are well known, as is the effectiveness of predicated execution for unpredictable control flow. However, as previous research has dem...
Mark Stephenson, Lixin Zhang, Ram Rangan