164
click to vote
ACSD
15 years 11 months 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 (...
133
click to vote
ACSD
15 years 11 months 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...
129
click to vote
ACSD
15 years 11 months 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...
120
Voted
ACSD
15 years 11 months 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...
122
click to vote
ACSD
15 years 11 months 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