1809 search results - page 227 / 362 » Software Model Checking Using Linear Constraints |
158
Voted
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
107
Voted
IJCV
2008
15 years 2 months ago
2008
For software and more illustrations: http://www.psi.utoronto.ca/anitha/fastTCA.htm Dimensionality reduction techniques such as principal component analysis and factor analysis are...
144
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
124
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
108
click to vote
ENTCS
2007
15 years 2 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...