647 search results - page 57 / 130 » Generic Trace Logics |
142
Voted
ISCA
1997
IEEE
15 years 11 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, ...
186
Voted
EGH
2009
Springer
15 years 4 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...
162
click to vote
MKM
2007
Springer
16 years 24 days 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 ...
137
click to vote
ELPUB
2006
ACM
16 years 19 days 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...
163
Voted
CD
2004
Springer
16 years 2 days 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...