6104 search results - page 977 / 1221 » Constructing Information Bases Using Associative Structures |
178
Voted
ISPASS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...
206
click to vote
FASE
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
185
click to vote
CAISE
2004
Springer
16 years 15 days ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
229
click to vote
CODES
2005
IEEE
16 years 22 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
193
click to vote
APVIS
2009
15 years 8 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...