2907 search results - page 260 / 582 » Presentations of Structures in Admissible Sets |
156
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
151
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
- Route Embedding, a new method for mitigating the impact of crosstalk, is presented. It modifies a set of global-route structures to prevent timing and noise-margin violations ca...
199
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
193
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
163
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
The common approach to reduce cache conflicts is to increase the associativity. From a dynamic power perspective this associativity comes at a high cost. In this paper we present...