Sciweavers

3908 search results - page 67 / 782
» A model for service-oriented communication systems
Sort
View
FOSSACS
2010
Springer
16 years 26 days ago
Reachability Analysis of Communicating Pushdown Systems
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
Alexander Heußner, Jérôme Lerou...
DAC
2004
ACM
16 years 7 months ago
Automated fixed-point data-type optimization tool for signal processing and communication systems
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
Changchun Shi, Robert W. Brodersen
CIC
2003
128views Communications» more  CIC 2003»
15 years 7 months ago
Communications in Electronic Textile Systems
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
Zahi Nakad, Mark T. Jones, Thomas Martin
DATE
2005
IEEE
135views Hardware» more  DATE 2005»
16 years 5 hour ago
Compositional Memory Systems for Multimedia Communicating Tasks
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
Anca Mariana Molnos, Marc J. M. Heijligers, Sorin ...
CCGRID
2011
IEEE
14 years 10 months ago
Network-Friendly One-Sided Communication through Multinode Cooperation on Petascale Cray XT5 Systems
—One-sided communication is important to enable asynchronous communication and data movement for Global Address Space (GAS) programming models. Such communication is typically re...
Xinyu Que, Weikuan Yu, Vinod Tipparaju, Jeffrey S....