183
Voted
ACSD
16 years 22 days ago
2009 IEEE 
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
154
click to vote
ACSD
16 years 22 days ago
2009 IEEE
The SpiNNaker project aims to develop parallel computer systems with more than a million embedded processors. The goal of the project is to support largescale simulations of syste...
143
click to vote
ACSD
16 years 22 days ago
2009 IEEE 
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
135
click to vote
ACSD
16 years 22 days ago
2009 IEEE 
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
143
click to vote
ACSD
16 years 22 days ago
2009 IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
|
Hardware