6192 search results - page 146 / 1239 » Structure benefits all |
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
ASPDAC
2006
ACM
2006
ACM
Equivalent circuit modeling of guard ring structures for evaluation of substrate crosstalk isolation
14 years 2 months ago
— A substrate-coupling equivalent circuit can be derived for an arbitrary guard ring test structure by way of F-matrix computation. The derived netlist represents a unified impe...
ARITH
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce an inheritance property and related table lookup structures applicable to simplified evaluation of the modular operations “multiplicative inverse”, “discrete l...
INEX
2004
Springer
14 years 2 months ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
COSIT
2003
Springer
14 years 2 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...