5109 search results - page 850 / 1022 » On Learning Limiting Programs |
156
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
138
click to vote
VRML
1997
ACM
15 years 8 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
141
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
143
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
176
click to vote
MICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
The Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in J...