3007 search results - page 443 / 602 » Designing for collective remembering |
119
click to vote
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
135
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
118
click to vote
JAVA
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
135
click to vote
NGC
2000
Springer
15 years 5 months ago
2000
Springer
The use of proxies for local error recovery and congestion control is a scalable technique used to overcome a number of wellknown problems in Reliable Multicast (RM). The idea is ...
114
click to vote
MICRO
1995
IEEE
15 years 5 months ago
1995
IEEE
Current superscalar processors, both RISC and CISC, require substantial instruction fetch and decode bandwidth to keep multiple functional units utilized. While CISC instructions ...