22864 search results - page 254 / 4573 » An Integrated and |
100
click to vote
ISCA
1996
IEEE
15 years 6 months ago
1996
IEEE
Current high performance computer systems use complex, large superscalar CPUs that interface to the main memory through a hierarchy of caches and interconnect systems. These CPU-c...
114
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
126
click to vote
COOPIS
1994
IEEE
15 years 6 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
136
click to vote
VISUALIZATION
1993
IEEE
15 years 6 months ago
1993
IEEE
Visualization has proved an e ective tool in the understanding of large data sets in computational science and engineering. There is growing interest today in the development of p...
115
click to vote
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...