1116 search results - page 145 / 224 » Applying Predicate Abstraction to Abstract State Machines |
PROCEDIA
2010
14 years 6 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
117
click to vote
ISNN
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Systems for keyword and non-linguistic vocalization detection in conversational agent applications need to be robust with respect to background noise and different speak...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
CISIS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...