647 search results - page 57 / 130 » Generic Trace Logics |
114
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
The performance tradeoff between hardware complexity and clock speed is studied. First, a generic superscalar pipeline is defined. Then the specific areas of register renaming, ...
144
click to vote
EGH
2009
Springer
15 years 2 months ago
2009
Springer
A major factor for the efficiency of ray tracing is the use of good acceleration structures. Recently, bounding volume hierarchies (BVHs) have become the preferred acceleration st...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
114
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
121
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...