2251 search results - page 127 / 451 » Specification and Implementation Problems for C |
131
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
125
Voted
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
115
Voted
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
118
Voted
IWPC
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
108
Voted
ACL
1993
15 years 5 months ago
1993
Overgeneration is the main source of computational complexity in previous principle-based parsers. This paper presents a message passing algorithm for principle-based parsing that...