Sciweavers

4940 search results - page 595 / 988
» On the Complexity of Universal Programs
Sort
View
ASPLOS
1992
ACM
15 years 11 months ago
Efficient Superscalar Performance Through Boosting
The foremost goal of superscalar processor design is to increase performance through the exploitation of instruction-level parallelism (ILP). Previous studies have shown that spec...
Michael D. Smith, Mark Horowitz, Monica S. Lam
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 10 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
HOTOS
2009
IEEE
15 years 10 months ago
Simplifying Distributed System Development
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Vik...
DAS
2006
Springer
15 years 10 months ago
Exploratory Analysis System for Semi-structured Engineering Logs
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
Michael Flaster, Bruce Hillyer, Tin Kam Ho
ECOOP
2006
Springer
15 years 10 months ago
A Semantic Analysis of C++ Templates
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
Jeremy G. Siek, Walid Taha