3335 search results - page 501 / 667 » A Unified Approach to Modeling and Programming |
191
click to vote
WCE
2007
15 years 7 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
177
click to vote
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
158
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
132
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
140
click to vote
HASE
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...