110
click to vote
ACSD
15 years 7 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 (...
97
Voted
ACSD
15 years 7 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...
81
Voted
ACSD
15 years 7 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...
87
Voted
ACSD
15 years 7 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...
88
Voted
ACSD
15 years 7 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