ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
ACSD
2009
IEEE
14 years 4 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...
ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
ACSD
2009
IEEE
14 years 4 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...
ACSD
2009
IEEE
14 years 4 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...
ACSD
2009
IEEE
14 years 4 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 (...
ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility ...
ACSD
2009
IEEE
14 years 4 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...
3DIC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In 3DICs heat dissipating devices are stacked directly on top of each other leading to a higher heat density than in a comparable 2D chip. 3D integration also moves the ...