4693 search results - page 347 / 939 » Verifying Hybrid Systems |
162
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
223
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
182
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- The majority of slosh-control techniques have required feedback control to suppress liquid oscillations induced by container motion. However, input shaping is an alterna...
174
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The standard approach in computer-controlled systems is to sample and control periodically. In certain applications, such as networked control systems or energy-constrained system...
184
click to vote
EMNLP
2008
15 years 8 months ago
2008
This paper explores the use of set expansion (SE) to improve question answering (QA) when the expected answer is a list of entities belonging to a certain class. Given a small set...