4693 search results - page 520 / 939 » Verifying Hybrid Systems |
194
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Independent Component Analysis (ICA) proves to be useful in the analysis of neural activity, as it allows for identification of distinct sources of activity. Applied t...
212
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
230
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
To achieve high reliability and scalability, most large-scale data warehouse systems have adopted the cluster-based architecture. In this paper, we propose the design of a new clu...
165
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
172
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...