Sciweavers

23406 search results - page 435 / 4682
» Architecture, Design, Implementation
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
ROBOCUP
2001
Springer
149views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Essex Rovers 2001 Team Description
This article introduces our research efforts to build the Essex Rovers’01 robot soccer team participated in the RoboCup-2001 competition. A modular design for implementing a beh...
Huosheng Hu, Dongbing Gu, Dragos Golubovic, Bo Li,...
FAC
2002
78views more  FAC 2002»
15 years 6 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
DAC
2006
ACM
16 years 7 months ago
Synthesis of high-performance packet processing pipelines
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
SIGCOMM
2009
ACM
16 years 1 months ago
A virtual platform for network experimentation
Although the diversity of platforms for network experimentation is a boon to the development of protocols and distributed systems, it is challenging to exploit its benefits. Impl...
Olaf Landsiedel, Georg Kunz, Stefan Götz, Kla...