Sciweavers

15614 search results - page 66 / 3123
» The State of State
Sort
View
DAC
2009
ACM
14 years 11 months ago
On systematic illegal state identification for pseudo-functional testing
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
Feng Yuan, Qiang Xu
AUTOMATICA
2006
125views more  AUTOMATICA 2006»
13 years 10 months ago
Optimization over state feedback policies for robust control with constraints
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
Paul J. Goulart, Eric C. Kerrigan, Jan M. Maciejow...
SIAMAM
2000
128views more  SIAMAM 2000»
13 years 9 months ago
Advection-Diffusion Equations for Internal State-Mediated Random Walks
Abstract. In many biological examples of biased random walks, movement statistics are determined by state dynamics that are internal to the organism or cell and that mediate respon...
Daniel Grünbaum
FMICS
2008
Springer
13 years 11 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
PUC
1998
92views more  PUC 1998»
13 years 9 months ago
Transparent Migration of Java-Based Mobile Agents: Capturing and Reestablishing the State of Java Programs
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...
Stefan Fünfrocken