17054 search results - page 68 / 3411 » Logics of Dynamical Systems |
FPGA
1997
ACM
15 years 8 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
152
click to vote
IJCAI
2003
15 years 5 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
130
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
137
click to vote
CLIMA
2010
15 years 5 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
139
click to vote
HPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop an adaptive load distribution protocol for logical volume I/O workload in clustered storage systems. It exploits data redundancy among decentralized storage servers to ...