17967 search results - page 240 / 3594 » Functional timing optimization |
115
Voted
WADS
2005
Springer
15 years 8 months ago
2005
Springer
We present efficient approximation algorithms for a number of problems that call for computing the prices that maximize the revenue of the seller on a set of items. Algorithms for ...
127
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
108
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper describes a novel approach to nd a tighter bound of the transformation of the Min-Max problems into the one of Least-Square Estimation. It is well known that the above ...
120
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
127
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...