17967 search results - page 57 / 3594 » Functional timing optimization |
113
click to vote
APPROX
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we propose a general framework for designing fully polynomial time approximation schemes for combinatorial optimization problems, in which more than one ob...
173
click to vote
OPODIS
2010
15 years 4 days ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
112
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
112
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...