Sciweavers

41 search results - page 4 / 9
» Correct-by-Construction Asynchronous Implementation of Modul...
Sort
View
IPPS
2007
IEEE
15 years 4 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»
14 years 9 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»
15 years 4 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
15 years 1 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»
14 years 9 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...