3161 search results - page 387 / 633 » Hybrid results merging |
200
click to vote
EPEW
2005
Springer
16 years 6 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
168
click to vote
EUC
2005
Springer
16 years 6 days ago
2005
Springer
We propose an efficient scheme called CoReS (Configuration and Registration Scheme) that integrates address assignment and service location for ad hoc networks prevalent in pervasi...
171
click to vote
IWANN
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, a fully functional prototype of an asynchronous 4-to-4 Address Event Representation (AER) mapper is presented. AER is an event driven communication protocol original...
169
click to vote
ASPDAC
2004
ACM
16 years 3 days ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
156
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...