1116 search results - page 123 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CP
2006
Springer
15 years 3 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
110
click to vote
COMPSAC
2009
IEEE
15 years 12 days ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
ATVA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
ICDM
2008
IEEE
15 years 5 months ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Both self-learning architecture (embedded structure) and explicit/implicit teaching from other agents (environmental design issue) are necessary not only for one behavior...