Sciweavers

ATVA
2008
Springer
78views Hardware» more  ATVA 2008»
14 years 1 months ago
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Andreas Eggers, Martin Fränzle, Christian Her...
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
14 years 1 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
14 years 1 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
ATVA
2008
Springer
148views Hardware» more  ATVA 2008»
14 years 1 months ago
Decidable Compositions of O-Minimal Automata
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...
ATVA
2008
Springer
101views Hardware» more  ATVA 2008»
14 years 1 months ago
Run-Time Monitoring of Electronic Contracts
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
Marcel Kyas, Cristian Prisacariu, Gerardo Schneide...
ATVA
2008
Springer
115views Hardware» more  ATVA 2008»
14 years 1 months ago
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
Guoqiang Li, Mizuhito Ogawa
ASPDAC
2008
ACM
169views Hardware» more  ASPDAC 2008»
14 years 1 months ago
Analytical model for the impact of multiple input switching noise on timing
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
Rajeshwary Tayade, Sani R. Nassif, Jacob A. Abraha...
ASPDAC
2008
ACM
104views Hardware» more  ASPDAC 2008»
14 years 1 months ago
Variability-driven module selection with joint design time optimization and post-silicon tuning
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
Feng Wang 0004, Xiaoxia Wu, Yuan Xie
ASPDAC
2008
ACM
134views Hardware» more  ASPDAC 2008»
14 years 1 months ago
Automatic re-coding of reference code into structured and analyzable SoC models
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
Pramod Chandraiah, Rainer Dömer