Sciweavers

1321 search results - page 176 / 265
» Logic Simulation Using Networks of State Machines
Sort
View
AINA
2003
IEEE
15 years 1 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
ISCC
2006
IEEE
129views Communications» more  ISCC 2006»
15 years 3 months ago
A Semantic Overlay Network for P2P Schema-Based Data Integration
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
Carmela Comito, Simon Patarin, Domenico Talia
SRDS
2005
IEEE
15 years 3 months ago
Distributed Construction of a Fault-Tolerant Network from a Tree
We present an algorithm by which nodes arranged in a tree, with each node initially knowing only its parent and children, can construct a fault-tolerant communication structure (a...
Michael K. Reiter, Asad Samar, Chenxi Wang
GLOBECOM
2010
IEEE
14 years 7 months ago
Analog Equalization for Low Power 60 GHz Receivers in Realistic Multipath Channels
Multi-gigabit per second wireless network devices are emerging for personal area networks (PAN) in the 60 GHz band. Such devices are typically power hungry, largely due to the requ...
Khursheed Hassan, Theodore S. Rappaport, Jeffrey G...
ICONIP
2010
14 years 7 months ago
Exploring Features and Classifiers to Classify MicroRNA Expression Profiles of Human Cancer
Recently, some non-coding small RNAs, known as microRNAs (miRNA), have drawn a lot of attention to identify their role in gene regulation and various biological processes. The miRN...
Kyung-Joong Kim, Sung-Bae Cho