4418 search results - page 762 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
164
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
166
click to vote
CGF
2004
15 years 6 months ago
2004
Rapid, visual understanding of volumetric datasets is a crucial outcome of a good volume rendering application, but few current volume rendering systems deliver this result. Our g...
203
click to vote
PR
2008
15 years 5 months ago
2008
We describe an annealing procedure that computes the normalized N-cut of a weighted graph G. The first phase transition computes the solution of the approximate normalized 2-cut p...
201
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Geographic ad hoc networks use position information for routing. They often utilize stateless greedy forwarding and require the use of recovery algorithms when the greedy approach...
162
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...