Sciweavers

41 search results - page 4 / 9
» Correct-by-Construction Asynchronous Implementation of Modul...
Sort
View
IPPS
2007
IEEE
14 years 5 months ago
Client-Side Implementation of Dynamic Asynchronous Invocations for Web Services
Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...
Giancarlo Tretola, Eugenio Zimeo
ENTCS
2008
83views more  ENTCS 2008»
13 years 11 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
ASYNC
2007
IEEE
154views Hardware» more  ASYNC 2007»
14 years 5 months ago
Design of a High-Speed Asynchronous Turbo Decoder
This paper explores the advantages of high performance asynchronous circuits in a semi-custom standard cell environment for high-throughput turbo coding. Turbo codes are high-perf...
Pankaj Golani, Georgios D. Dimou, Mallika Prakash,...
ARCS
2006
Springer
14 years 2 months ago
Distributed Modular Toolbox for Multi-modal Context Recognition
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
David Bannach, Kai S. Kunze, Paul Lukowicz, Oliver...
ENTCS
2006
141views more  ENTCS 2006»
13 years 11 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...