Sciweavers

663 search results - page 37 / 133
» Synthesis of Self-Testable Controllers
Sort
View
FSTTCS
2005
Springer
15 years 11 months ago
On the Controller Synthesis for Finite-State Markov Decision Processes
Antonín Kucera, Oldrich Strazovský
IFIP
2004
Springer
15 years 11 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
15 years 11 months ago
Power-Manageable Scheduling Technique for Control Dominated High-Level Synthesis
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
Chunhong Chen, Majid Sarrafzadeh
ICALP
2001
Springer
15 years 10 months ago
Distributed Controller Synthesis for Local Specifications
P. Madhusudan, P. S. Thiagarajan
BIRTHDAY
1999
Springer
15 years 10 months ago
Compilation and Synthesis for Real-Time Embedded Controllers
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
Martin Fränzle, Markus Müller-Olm