536 search results - page 36 / 108 » A computer verified, monadic, functional implementation of t... |
152
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
223
click to vote
SEMCO
2009
IEEE
16 years 27 days ago
2009
IEEE
Semantic integration in the hidden Web is an emerging area of research where traditional assumptions do not always hold. Frequent changes, conflicts and the sheer size of the hid...
143
click to vote
ACL
1998
15 years 7 months ago
1998
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....
168
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
162
click to vote
ISORC
2006
IEEE
16 years 5 days ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...