Sciweavers

15614 search results - page 66 / 3123
» The State of State
Sort
View
70
Voted
DAC
2009
ACM
16 years 1 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
89
Voted
AUTOMATICA
2006
125views more  AUTOMATICA 2006»
15 years 24 days 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...
94
Voted
SIAMAM
2000
128views more  SIAMAM 2000»
15 years 15 days 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
15 years 1 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»
15 years 12 days 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