2377 search results - page 81 / 476 » Hybrid Systems in TLA |
138
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
145
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
181
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
160
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
A hybrid fingerprint identification system is presented in this paper. The system consists of several steps: fingerprint enhancement, minutiae extraction, texture feature extracti...
166
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...