753 search results - page 59 / 151 » Constructing program animations using a pattern-based approa... |
109
Voted
MICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
Path profiles record the frequencies of execution paths through a program. Until now, the best global instruction schedulers have relied upon profile-gathered frequencies of condi...
129
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
114
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
124
click to vote
IPMI
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
128
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...