140 search results - page 23 / 28 » Protocol verification using flows: An industrial experience |
153
click to vote
DFT
2005
IEEE
15 years 3 months ago
2005
IEEE
A built-in self-test (BIST) scheme is presented which both reduces overhead for detecting random-pattern-resistant (r.p.r.) faults as well as reduces power consumption during test...
139
click to vote
DSRT
2004
IEEE
15 years 5 months ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...
103
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
125
click to vote
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
133
click to vote
MOBIHOC
2010
ACM
14 years 11 months ago
2010
ACM
We present the Whirlpool Routing Protocol (WARP), which efficiently routes data to a node moving within a static mesh. The key insight in WARP's design is that data traffic c...