12 search results - page 1 / 3 » Hybrid I O Automata |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
EURODAC
1995
IEEE
13 years 8 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
GLVLSI
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
CAV
1993
Springer
13 years 9 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...