113 search results - page 16 / 23 » Timed Automata: Semantics, Algorithms and Tools |
FMSD
2007
13 years 7 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
SAMT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
VMCAI
2005
Springer
14 years 25 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
RECONFIG
2008
IEEE
14 years 1 months ago
2008
IEEE
—We present algorithms for implementing large-scale regular expression matching (REM) on FPGA. Based on the proposed algorithms, we develop tools that first transform regular ex...