20807 search results - page 363 / 4162 » How to read a paper |
208
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
178
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Register integration (or simply integration) is a mechanism for incorporating speculative results directly into a sequential execution using data-dependence relationships. In this...
215
click to vote
WEBDB
2000
Springer
15 years 11 months ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
262
click to vote
IPPS
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
214
click to vote
SIGCOMM
1995
ACM
15 years 11 months ago
1995
ACM
Data copying and checksumming are the most expensive operations when doing high-bandwidth network IO over a highspeed network. Under some conditions, outboard buffering and checks...