49 search results - page 7 / 10 » Symbolic Diagnosis of Partially Observable Concurrent System... |
TSMC
2010
13 years 2 months ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this work a method to improve the loopback test used in RF analog circuits is described. The approach is targeted to the SoC environment, being able to reuse system resources i...
EXPERT
2008
13 years 7 months ago
2008
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
CONCURRENCY
2007
13 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...