391 search results - page 47 / 79 » Efficient inductance extraction using circuit-aware techniqu... |
DAC
1994
ACM
14 years 23 hour ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
DEXA
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a new framework for users to select relevant data from an XML document and store it in an existing relational database, as opposed to previous approaches that s...
IIS
2004
13 years 9 months ago
2004
Estimating the result size of a join is an important query optimization problem as it determines the choice of a good query evaluation strategy. Yet, there are few efficient techni...
VIIP
2001
13 years 9 months ago
2001
The primary objective of this research work is to develop an efficient and intuitive deformation technique for virtual human modeling by silhouettes input. With our method, the re...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...