3773 search results - page 698 / 755 » Logical Reasoning |
136
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
110
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Multitasking on reconfigurable logic can achieve very high silicon reusability. However, configuration latency is a major limitation and it can largely degrade the system performa...
124
Voted
ICEBE
2006
IEEE
15 years 9 months ago
2006
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
123
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
137
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...