442 search results - page 33 / 89 » Model Checking of Systems Employing Commutative Functions |
JTRES
2010
ACM
13 years 8 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
AUTOMATICA
2004
13 years 8 months ago
2004
We consider the formulation and analysis of a problem of automatic control: correcting for the distortion induced in an optical wave front due to propagation through a turbulent a...
AUTOMATICA
2006
13 years 8 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this article we propose a high speed and highly testable parallel two-rail code checker, which features a compact structure and is Totally-Self-Checking or Strongly Code-Disjoi...