1515 search results - page 126 / 303 » Parallel computing on any desktop |
134
Voted
ISPAN
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we evaluate a mechanism to reissue instructions on the mispredicted speculation path. An instruction which is once dispatched to a functional unit during mispredict...
130
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
105
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Cooperative caches offer huge amounts of caching memory that is not always used as well as it could be. We might find blocks in the cache that have not been requested for many hou...
138
Voted
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
114
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Like any other database application object database applications are subject to evolution. Evolution is, however, critical in object databases because it is the very characteristic...