899 search results - page 91 / 180 » A CTL-Based Logic for Program Abstractions |
106
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
87
Voted
PARLE
1992
15 years 4 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
100
click to vote
LISP
2008
15 years 16 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
PADL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
104
click to vote
JSAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...