Sciweavers

849 search results - page 52 / 170
» A survey of state vectors
Sort
View
PPNA
2008
137views more  PPNA 2008»
15 years 6 months ago
On peer-to-peer (P2P) content delivery
In both academia and industry, peer-to-peer (P2P) applications have attracted great attentions. P2P applications such as Napster, Gnutella, FastTrack, BitTorrent, Skype and PPLive,...
Jin Li
FSTTCS
2007
Springer
16 years 9 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ECIS
2003
15 years 7 months ago
Service and commodity based electronic intermediaries: a comparative analysis
The theoretical literature concerning supply chain intermediation is surveyed to develop a framework of five intermediary states. Data collected on 134 electronic intermediaries a...
Jonathan Wareham, Karlene Cousins, Rich Klein
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
15 years 10 months ago
Improving coverage analysis and test generation for large designs
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
Jules P. Bergmann, Mark Horowitz
DAC
1997
ACM
15 years 10 months ago
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
Oriol Roig, Jordi Cortadella, Marco A. Peña...