4693 search results - page 390 / 939 » Verifying Hybrid Systems |
205
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
143
Voted
CN
2000
15 years 6 months ago
2000
: We propose a new scheme of `automatic pricing' for digital contents, and describe an implemented system as well as concrete pricing algorithms for it. Automatic pricing refe...
164
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
185
click to vote
BILDMED
2009
15 years 4 months ago
2009
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
153
click to vote
DDECS
2006
IEEE
16 years 26 days ago
2006
IEEE
: An embedded rectifier-based Built-In-Test (BIT) detection circuit for the RF integrated circuits is proposed in this work, and charge pump rectifier is adopted to transform the R...