Sciweavers

1712 search results - page 259 / 343
» Abstract Constraint Data Types
Sort
View
LFCS
2007
Springer
15 years 5 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
GLOBECOM
2006
IEEE
15 years 5 months ago
Distributed Bayesian Fault diagnosis in Collaborative Wireless Sensor Networks
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
Hichem Snoussi, Cédric Richard
AAECC
2006
Springer
105views Algorithms» more  AAECC 2006»
15 years 5 months ago
LDPC Codes for Fading Channels: Two Strategies
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
Xiaowei Jin, Teng Li, Thomas E. Fuja, Oliver M. Co...
ICSOC
2005
Springer
15 years 4 months ago
Handling Faults in Decentralized Orchestration of Composite Web Services
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...
Girish Chafle, Sunil Chandra, Pankaj Kankar, Vijay...
88
Voted
ASPDAC
2009
ACM
141views Hardware» more  ASPDAC 2009»
15 years 3 months ago
Adaptive inter-router links for low-power, area-efficient and reliable Network-on-Chip (NoC) architectures
Abstract-- The increasing wire delay constraints in deep submicron VLSI designs have led to the emergence of scalable and modular Network-on-Chip (NoC) architectures. As the power ...
Avinash Karanth Kodi, Ashwini Sarathy, Ahmed Louri...