7167 search results - page 1103 / 1434 » A Technique for Invariant Generation |
253
click to vote
ISPAN
2002
IEEE
16 years 15 days ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
183
click to vote
ISSS
2002
IEEE
16 years 15 days ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
205
click to vote
MICRO
2002
IEEE
16 years 15 days ago
2002
IEEE
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...
215
click to vote
VISUALIZATION
2002
IEEE
16 years 15 days ago
2002
IEEE
Isosurfaces are commonly used to visualize scalar fields. Critical isovalues indicate isosurface topology changes: the creation of new surface components, merging of surface comp...
204
click to vote
WSE
2002
IEEE
16 years 15 days ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...