681 search results - page 134 / 137 » Hardware Synthesis Using SAFL and Application to Processor D... |
SPAA
2006
ACM
15 years 5 months ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
FP
1989
15 years 3 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
126
click to vote
ADBIS
1995
Springer
15 years 3 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Networks on Chip (NoC) have emerged as the design paradigm for scalable System on Chip communication infrastructure. A growing number of applications, often with firm (FRT) or so...
116
click to vote
MOBISYS
2008
ACM
15 years 11 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...