2211 search results - page 180 / 443 » The state of peer-to-peer simulators and simulations |
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
102
click to vote
ASYNC
2001
IEEE
15 years 2 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
100
click to vote
ICECCS
1995
IEEE
15 years 2 months ago
1995
IEEE
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...
FMOODS
2007
15 years 3 days ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
NIPS
1996
14 years 12 months ago
1996
Model learning combined with dynamic programming has been shown to be e ective for learning control of continuous state dynamic systems. The simplest method assumes the learned mod...