Sciweavers

7892 search results - page 141 / 1579
» Programming with Models
Sort
View
ISQED
2010
IEEE
123views Hardware» more  ISQED 2010»
15 years 3 months ago
Yield-constrained digital circuit sizing via sequential geometric programming
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
Yu Ben, Laurent El Ghaoui, Kameshwar Poolla, Costa...
FTCS
1998
91views more  FTCS 1998»
15 years 2 months ago
How Fail-Stop are Faulty Programs?
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
Subhachandra Chandra, Peter M. Chen
PADS
2009
ACM
15 years 8 months ago
Causal Program Slicing
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
Ross Gore, Paul F. Reynolds Jr.
ICS
1995
Tsinghua U.
15 years 5 months ago
On the Utility of Threads for Data Parallel Programming
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
Thomas Fahringer, Matthew Haines, Piyush Mehrotra
EOR
2006
91views more  EOR 2006»
15 years 1 months ago
Solving Irregular Strip Packing problems by hybridising simulated annealing and linear programming
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space ...
A. Miguel Gomes, José F. Oliveira