141
click to vote
ACSD
15 years 10 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 (...
116
click to vote
ACSD
15 years 10 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...
111
click to vote
ACSD
15 years 10 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...
108
click to vote
ACSD
15 years 10 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...
113
click to vote
ACSD
15 years 10 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