1541 search results - page 193 / 309 » Tools and Techniques for Model Checking Networked Programs |
148
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
157
click to vote
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Self-Organising Map (SOM) is a well-known neuralnetwork model that has successfully been used as a data analysis tool in many different domains. The SOM provides a to...
145
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
122
click to vote
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
140
click to vote
EWSN
2006
Springer
16 years 4 months ago
2006
Springer
Low power is a primary concern in the field of wireless sensor networks. Bluetooth has often been labeled as an inappropriate technology in this field due to its high power consump...