12 search results - page 1 / 3 » Hybrid I O Automata |
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
103
Voted
LFCS
2007
Springer
15 years 5 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
15 years 2 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
15 years 4 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...
83
Voted
CAV
1993
Springer
15 years 3 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...