4007 search results - page 106 / 802 » Computation with imprecise probabilities |
100
Voted
APCSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. Power-balanced instruction scheduling for Very Long Instruction Word (VLIW) processors is an optimization problem which requires a good instruction-level power model for ...
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
: Locomotion and navigation of a surface walking/climbing robot – Planar Walker, based on a novel planar 8-bar mechanism are studied. The robot moves on a surface through decoupl...
127
Voted
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
106
Voted
GRID
2008
Springer
15 years 1 months ago
2008
Springer
Large-scale computing environments, such as TeraGrid, Distributed ASCI Supercomputer (DAS), and Grid’5000, have been using resource co-allocation to execute applications on mult...
128
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...