AQUILA: An Equivalence Verifier For Large Sequential Circuits
...
by SYHKT Cheng - Cited by 37
http://cadlab.ece.ucsb.edu/~web_adim/publication/1997/ASP97-1.pdf
Testing From a Finite State Machine: Extending
Invertibility to ...
by RM Hierons - 1997 - Cited by 35
http://bura.brunel.ac.uk/bitstream/2438/347/1/Testing from a finite.pdf
No
Job Name
by GS Chirica - 1998 - Cited by 48
http://www.chem.orst.edu/remcho/publications/analchem72-15.pdf
Stable Encoding
of Finite-State Machines in Discrete-Time ...
by RC Carrasco - Cited by 25
http://www.dlsi.ua.es/~mlf/docum/carrasco00j.pdf
Te * pa- 1*3
by B Sridharan - Cited by 2
http://www.cs.purdue.edu/research/technical_reports/2002/TR 02-023.pdf
Generating Hierarchical State Machines from Use Case Charts
by J Whittle - 2006 - Cited by 22
http://msdl.cs.mcgill.ca/people/simon/links/usecases/Generating Hierarchical State Machines from Use Case Charts.pdf
Prlnciples and Methods of Testing Finite State Machines--A Survey
...
by D Lee - 1996 - Cited by 717
http://camars.kaist.ac.kr/~maeng/cs710/esd07/Prlnciples and Methods of Testing Finite State Machines--A Survey.pdf
Multi-Criterial
State Assignment For Low Power FSM Design ...
zj and state variables necessary for h,, respectively. The condition ..... A.: Low Power FSM Design using HufFman-Style Encoding. EDTC '97, pp. 521- ...
http://ieeexplore.ieee.org/iel4/5729/15380/00711809.pdf
Rapid System Design Framework for Fuzzy Applications - Circuits
...
0-7803-3694-1 /97/$10.00 ... a traditional finite state machine (FSM) to implement it. .... (zj) denote a membership value for linguistic vari- ...
http://ieeexplore.ieee.org/iel4/5355/14484/00662247.pdf?arnumber=662247
On the Role
of the Inner State Size in Stream Ciphers
by E Zenner - Cited by 5
http://www.erikzenner.name/docs/2004_state_full.pdf
Cryptanalysis of the
Bluetooth E0 Cipher using OBDD's
by Y Shaked - Cited by 5
http://eprint.iacr.org/2006/072.pdf
Constraint Solving and
Symbolic Execution Jian Zhang Laboratory of ...
graph, e.g., control-flow graph, (extended) finite-state machine. From such a .... Int'l Symp. on Foundations of Software Engineering,97-106,2004.
http://vstte.ethz.ch/Files/zhang.pdf
A
SURVEY ON ANOMALY DETECTION METHODS FOR AD HOC NETWORKS
by MA Azer - Cited by 2
http://www.ubicc.org/files/pdf/ubiccjournalvolume2no3_5_67.pdf
ICECCS'97:
A Synthesis Method for Fault-tolerant and Flexible ...
by Y Hatanaka - Cited by 8
http://se.naist.jp/achieve/pdf/98.pdf
Configuration-Specific
Test Pattern Extraction for Field ...
by FFFFL Pozzi - Related articles
http://www.inf.usi.ch/faculty/pozzi/papers/conf_spec.pdf
Optimization
for Logic Circuit of Mealy FSM
Zi ∩Zj = /0 (i = j;i, j ∈ {1,...,K). (4.13). After encoding, the system Y can be represented as ..... 97. Fig. 4.16 Structural dia- gram of MPD Mealy FSM ...
http://www.springerlink.com/index/m70023375678p703.pdf
Covalent
immobilization of oligoDNA on the surface of magnetic ...
the solution containing the FSM to self-assemble for 10 h. .... netic nanoclusters, Colloids and Surfaces B: Biointerfaces, 1997, 8: 199ü204. ... Anderson, S., Roger, Y. H., Huang, Z. J. et al., Immobilization of ...
http://www.springerlink.com/index/A3136424245P74G7.pdf
AQUILA: An Equivalence Verifier For Large Sequential Circuits
...
to find the set of candidate flip-flop pairs ((Zj, Y1 ), (Z2, Y2 )}, and .... that, to our knowledge, no pure FSM-traversal technique has suc- ...
http://ir.lib.nthu.edu.tw/bitstream/987654321/19721/1/2030172030007.pdf
Computation with finite stochastic chemical reaction networks
molecules as Markov jump processes (McQuarrie 1967; van Kampen 1997; ..... instruction op(i, j, k, zj, zk, D) specifies that if starting in state i, ...
http://www.dna.caltech.edu/Papers/sCRN_computation_2008.pdf
The
application of probabilistic techniques for the state ...
by K Gadeyne - 2004 - Cited by 1
http://people.mech.kuleuven.ac.be/~kgadeyne/papers/filtering.pdf
Testing
from a Finite-State Machine: Extending
Invertibility to ...
is the output generated by this transition. An FSM is said to be completely specified if for each. THE COMPUTER JOURNAL, Vol. 40, No. 4, 1997 ...
http://comjnl.oxfordjournals.org/cgi/reprint/40/4/220.pdf
ASYMPTOTIC
OPTIMAL CONTROLS IN STOCHASTIC MANUFACTURING SYSTEMS ...
97 121. Reprints available directly from the publ~sher .... Let E > 0 denote a small parameter and a(&,t)~,M denote a finite state machine ..... (yij t yio_yojjj(i - yio yoij i t i"my iu see ihai Zj,i yli! = 1. Moreow, Q car, ...
http://www.informaworld.com/index/776555627.pdf
The
modifiable areal unit problem: segregation between schools and
...
For example, Wong (1997) argued that the segregation measure, ... S 0.5ÃsumjAi/X Ā Ci/Zj. Where: Ai is the number of FSM eligible children in school i ...
http://www.informaworld.com/index/8A67RTLLMNFY49FX.pdf
APPLICATION
OF THE FUZZY STATE FUZZY OUTPUT FINITE STATE
MACHINE ...
by JL GRANTNER - Related articles
http://homepages.wmich.edu/~grantner/images/SESD4_7.pdf
The Design
Principles and Algorithms of a Weighted Grammar Library ...
by C ALLAUZEN - Cited by 16
http://www.cs.nyu.edu/~mohri/pub/wgrm.pdf
The Design
Principles and Algorithms of a Weighted Grammar Library ...
functions of a general weighted-transducer library (the FSM library [23]), served as ..... let yj be the true transcription of xj; and let Zj be the set ...
http://cs.nyu.edu/~allauzen/pdf/wgrm.pdf
\\J>
remainder string Zi, there exists at least on remainder Zj such that ZihZj = e, .... http://www.research.att.com/sw/tools/fsm,. AT&T Labs - Research,. 1997. ...
http://jn.wspc.com.sg/google/pdf/S0129054103002126.pdf
A
Specification-based Intrusion Detection System for AODV
by CY Tseng - Cited by 117
http://seclab.cs.ucdavis.edu/papers/new_aodvids-v1.pdf
Diagnosis of
Repeated Failures For Discrete Event Systems With ...
by S Jiang - Cited by 18
http://www.ece.iastate.edu/~rkumar/PUBS/rdia-tl.pdf
An Extensible Information Dissemination Scheme over the Optimized
...
by K Mehrjoo - 2007 - Cited by 2
http://scholar.lib.vt.edu/theses/available/etd-09202007-013736/unrestricted/kaveh_thesis_v2.pdf
Cooperative
Coverage of Rectilinear Environments Zack J. Butler ...
by ZJ Butler - Cited by 29
http://www.msl.ri.cmu.edu/publications/pdfs/icra00.cover.pdf
Back Matter,
July-Septembers 1997
by A ORNITHOLOGISTS'UNION - 19971997. Recent Ornithological Literature, Auk 114 (3, Suppl.):l-70. ...... Hu, Z-J., & C. MOSK•T. 1993. TRANSPAT. A com- ...
http://elibrary.unm.edu/sora/Auk/v114n03/back.pdf
Functional
Test Generation for Synchronous Sequential Circuits ...
by MK Srinivas - 1996 - Cited by 4
http://eprints.iisc.ernet.in/6554/1/functional.pdf
Resource
Prioritization of Code Optimization Techniques for ...
by Z Zhanga - Related articles
http://www.cs.hku.hk/research/techreps/document/TR-2009-02.pdf
Center for
Reliable Computing TECHNICAL REPORT
by AOE Problem - Related articles
http://crc.stanford.edu/crc_papers/CRC-TR-99-1.pdf
Wireless Token
Ring Protocol
by D Lee - 2001 - Cited by 17
http://wow.eecs.berkeley.edu/WTRP/main.pdf
Turing's
analysis of computation and artificial neural networks
to be model of a Finite State Machine (FSM). The two .... zj[t] + W ...... regular languages, Neural Computation 11 (1997), 771–782. ...
http://iospress.metapress.com/index/729E7VCMAUHEEMHY.pdf
A
Distributed MAC Scheme Supporting Voice Services in Mobile Ad
...
[1] Z. J. Haas and J. Deng, “Dual busy tone multiple access (DBTMA) – a multiple access control ... IEEE INFOCOM'97, pp. 1182–1190, Kobe, Japan, Apr. 1997. ...
http://bbcr.uwaterloo.ca/~wzhuang/papers/WCMC_hai.pdf
I
SIMPOZIJUM "INDUSTRIJSKA ELEKTRONIKA" INDEL ¢97,
Bawa Luka, 24- 26
finite state machine (FSM). It generates control signals for ...... Z.J.Simendić1, G.S.Švenda2, V.C.Strezoski3, V.R.Mijatović1 ...
http://www.electronics.etfbl.net/journal/El_2008_01_Complete.pdf
A distributed
MAC scheme supporting voice services in mobile ad ...
Haas ZJ, Deng J. Dual busy tone multiple access (DBTMA)— ... In Proceedings of IEEE INFOCOM'97, Kobe, Japan,. April 1997; 118–125. ...
http://www.ece.ualberta.ca/~hai1/wcmc_2010_04.pdf
[hal-00408878, v1] Distributed synthesis for well-connected ...
by P Gastin - 2009 - Cited by 5
http://hal.archives-ouvertes.fr/docs/00/40/88/78/PDF/DistSynth-GSZ08.pdf
Control of Switching Constrained Systems
ferent states of the FSM (also called switching time) ..... Ej = Zj (~j~) j ---- 2... Extensions. Our results apply to a particular class of hybrid systems ... ing the results in (De Santis 1997) we can analyze the ...
http://www.aaai.org/Papers/Symposia/Spring/1999/SS-99-05/SS99-05-004.pdf
Interleaved concatenated codes: New perspectives on approaching
...
by AJ Viterbi - 1997 - Related articles
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC23211/pdf/pq009525.pdf
Lecture
Notes in Computer Science:
by X Wei - Related articles
http://www.comsis.org/ComSIS/VolChi/RegularPapers/cg0056.pdf
PubTeX output
2000.01.05:1204
by J Borges - 2000 - Cited by 10
http://ccd.uab.es/~josep/pscripts/ctc.pdf
Walking Gait for
Biped Soccer Robot
The concept of finite state machine was introduced to penalty kick algorithms for four-legged .... (Ли Zj (Vrt» TjJ. <Л* z*J С^йл О. Swing foot trajectoiy ...
http://scialert.net/pdfs/itj/2007/1120-1129.pdf
Concepts of Strategic Complexity in Extensive-Form Unanimity
...
by K Chatterjee - 2005 - Related articles
http://econ.la.psu.edu/people/biographies/papers/conceptsofstratcomplexity.pdf
TIGRA: TIMELY SENSOR DATA COLLECTION USING DISTRIBUTED GRAPH
...
by L Paradis - Cited by 2
http://inside.mines.edu/~qhan/students/Lilia/docs/LiliaParadisThesis.pdf
Instrumentation for quantum computers
programmer 97. 5.4.2 Hardware implementation of second-generation pulse ...... unitary operation ZJ performs the transformation |j)|fc) —»■ \j)\xJ%mo<3L L) ...
http://dspace.mit.edu/bitstream/handle/1721.1/30104/55693824.pdf?sequence=1
Distributed
automata in an assumption-commitment framework
by S Mohalik - 2002 - Cited by 1
http://www.ias.ac.in/sadhana/Pdf2002Apr/Pe1015.pdf
1 2
