5196 search results - page 870 / 1040 » State of Application Assessment |
137
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
118
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
169
click to vote
HPCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Run-time parallelization is often the only way to execute the code in parallel when data dependence information is incomplete at compile time. This situation is common in many imp...
220
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
Simulation of dynamic systems possessing unilateral frictional contacts is important to many industrial applications. While rigid body models are often employed, it is well establ...
138
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...