10568 search results - page 486 / 2114 » Computer Intelligence and Formalization |
141
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
139
click to vote
COORDINATION
2007
Springer
15 years 11 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
158
click to vote
TLCA
2007
Springer
15 years 11 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...
132
Voted
ICDCSW
2006
IEEE
15 years 11 months ago
2006
IEEE
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...
163
Voted
IPPS
2005
IEEE
2005
IEEE
A Framework for Partitioning Computational Intensive Applications in Hybrid Reconfigurable Platforms
15 years 10 months ago
In this paper, we describe a prototype software framework that implements a formalized methodology for partitioning computational intensive applications between reconfigurable har...