2498 search results - page 228 / 500 » Data Structures with Unpredictable Timing |
97
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
115
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
149
Voted
MICRO
1994
IEEE
15 years 6 months ago
1994
IEEE
We examine two pipeline structures which are employed in commercial microprocessors. The first is the load-use interlock (LUI) pipeline, which employs an interlock to ensure corre...
115
Voted
ALENEX
2004
15 years 3 months ago
2004
We present a framework for implementing geometric algorithms involving motion. It is written in C++ and modeled after and makes extensive use of CGAL (Computational Geometry Algor...
129
click to vote
WSCG
2004
15 years 3 months ago
2004
This paper presents a new method for realistic real-time rendering of tree foliage. Some approaches to this problem have been presented before but the quality of their results was...