Tag fsm [46 articles] Export

Recent papers classified by the tag fsm.

	Activity-Driven Synthesis of State Machines [My Copy] Fundamental Approaches to Software Engineering (2007), pp. 87-101. by Rolf Hennicker, Alexander Knapp posted to uml statecharts fsm by ingo on 2009-11-09 21:46:49 as along with 1 person leonardo
	Formal verification of statecharts using finite-state model checkers [My Copy] Control Systems Technology, IEEE Transactions on, Vol. 14, No. 5. (07 August 2006), pp. 943-950. by Qianchuan Zhao, B. H. Krogh posted to model_checking fsm by zhensong on 2009-10-19 21:12:22 as along with 1 person leonardo
	Introduction to high-level synthesis [My Copy] Design & Test of Computers, IEEE In Design & Test of Computers, IEEE, Vol. 11, No. 4. (06 August 2002), pp. 44-54. by D. D. Gajski, L. Ramachandran posted to fsm by skolaric on 2009-09-15 02:14:36 as along with 1 person NickGasson
	Finite State Automata and Connectionist Machines: A survey [My Copy] From Natural to Artificial Neural Computation (1995), pp. 433-440. by M. Castaño, E. Vidal, F. Casacuberta posted to fsm by rwebb on 2009-07-30 00:26:09 as
	SpecC: Specification Language and Methodology [My Copy] (01 March 2000) by Daniel D. Gajski, Jianwen Zhu, Rainer Domer, Andreas Gerstlauer, Shuqing Zhao posted to fsm by adamarnesen to the group BYU CHREC B1 2009 on 2009-06-03 16:29:33 as
	Using statecharts for hardware description and synthesis [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 7. (1989), pp. 798-807. by D. Drusinsky, D. Harel posted to fsm by adamarnesen to the group BYU CHREC B1 2009 on 2009-06-03 16:23:03 as
	On the emergence of rules in neural networks. [My Copy] Neural computation, Vol. 14, No. 9. (September 2002), pp. 2245-2268. by S. J. Hanson, M. Negishi posted to ann fsm fsm-extraction by tkf on 2009-05-08 14:39:53 as
	Analysis of Dynamical Recognizers [My Copy] Neural Computation, Vol. 9, No. 5. (July 1997), pp. 1127-1142. by Alan D. Blair, Jordan B. Pollack posted to fsm regular-language rnn second-order-rnn by tkf on 2009-05-02 02:57:20 as
	The Dynamics of Discrete-Time Computation, with Application to Recurrent Neural Networks and Finite State Machine Extraction [My Copy] Neural Computation, Vol. 8, No. 6. (15 August 1996), pp. 1135-1178. by Mike Casey posted to fsm fsm-extraction rnn by tkf on 2009-05-02 02:47:07 as
	Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures [My Copy] Design, Automation and Test in Europe Conference and Exhibition, Vol. 1 (2004), 10390. by Vijay D?silva, S. Ramesh, Arcot Sowmya posted to amba concurrency fsm by Trent on 2009-04-09 07:01:27 as along with 1 person molimomo
	STATEMATE: A Working Environment for the Development of Complex Reactive Systems [My Copy] IEEE Transactions on Software Engineering, Vol. 16, No. 4. (1990), pp. 403-414. by D. Harel, H. Lachover, A. Naamad, et al.A. Pnueli, M. Politi, R. Sherman, A. Shtull Trauring, M. Trakhtenbrot posted to concurrency fsm by Trent on 2009-03-27 03:19:19 as along with 2 people ingo leonardo
	The anthology of the finite state machine design patterns [My Copy] In In Proceedings of the Pattern Languages of Programs Conference (PLoP by Paul Adamczyk posted to design_pattern fsm by ingo on 2009-03-24 16:21:35 as
	What is in a step: On the semantics of statecharts [My Copy] Lecture Notes in Computer Science : Theoretical Aspects of Computer Software (1991), pp. 244-264. by A. Pnueli, M. Shalev posted to fsm by Trent on 2009-03-19 03:41:32 as along with 1 person leonardo
	Static analysis and automatic code synthesis of flexible FSM model [My Copy] In ASP-DAC '05: Proceedings of the 2005 conference on Asia South Pacific design automation (2005), pp. 161-165. by Dohyung Kim, Soonhoi Ha posted to concurrency fsm by Trent on 2009-03-17 07:54:23 as along with 1 person drizztxd
	PeaCE: A hardware-software codesign environment for multimedia embedded systems [My Copy] ACM Trans. Des. Autom. Electron. Syst., Vol. 12, No. 3. (August 2007), pp. 1-25. by Soonhoi Ha, Sungchan Kim, Choonseung Lee, Youngmin Yi, Seongnam Kwon, Young-Pyo Joo posted to concurrency fsm by drizztxd on 2009-03-17 07:49:48 as along with 2 people nkuan visit0r
	Towards effective and efficient free space management [My Copy] In SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data (1996), pp. 389-400. by Mark L. Mcauliffe, Michael J. Carey, Marvin H. Solomon posted to 4ref classic fsm sigmod by myui on 2009-01-27 15:34:28 as along with 1 person mogwaing
	Cognitive and synthetic behavior of avatars in intelligent virtual environments [My Copy] Virtual Reality, Vol. 12, No. 1. (22 March 2008), pp. 47-54. by Ronghua Liang, Mingmin Zhang, Zhen Liu, Meleagros Krokos posted to fsm ive by stargazers on 2009-01-26 13:55:10 as
	Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs [My Copy] The Computer Journal, Vol. 49, No. 3. (1 May 2006), pp. 331-344. by Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo posted to fsm uio by adenilso on 2009-01-23 18:06:55 as
	Automatic protocol translation and template based interface synthesis for IP reuse in SoC [My Copy] Circuits and Systems, 2004. Proceedings. The 2004 IEEE Asia-Pacific Conference on In Circuits and Systems, 2004. Proceedings. The 2004 IEEE Asia-Pacific Conference on, Vol. 1 (2004), pp. 565-568 vol.1. by Yin-Tsung Hwang, Sung-Chun Lin posted to fsm by jcarroll to the group BYU CHREC B1 2009 on 2009-01-17 22:20:10 as
	Automated composition of hardware components [My Copy] In Proceedings of Design Automation Conference (1998), pp. 14-19. by James Smith, G. D. Micheli posted to fsm by jcarroll to the group BYU CHREC B1 2009 on 2009-01-17 21:49:35 as
	Automatic interface synthesis based on the classification of interface protocols of IPs [My Copy] In ASP-DAC '08: Proceedings of the 2008 conference on Asia and South Pacific design automation (2008), pp. 589-594. by Changryul Yun, Dongsoo Kang, Younghwan Bae, Hanjin Cho, Kyoungson Jhang posted to fsm by jcarroll to the group BYU CHREC B1 2009 on 2009-01-16 00:07:13 as
	An approach to interface synthesis [My Copy] System Synthesis, 1995., Proceedings of the Eighth International Symposium on In System Synthesis, 1995., Proceedings of the Eighth International Symposium on (1995), pp. 16-21. by J. Madsen, B. Hald posted to fsm by jcarroll to the group BYU CHREC B1 2009 on 2009-01-15 23:24:27 as
	Automated interface synthesis [My Copy] (September 2003) by Vijay D'Silva, Arcot Sowmya, S. Ramesh posted to fsm by jcarroll to the group BYU CHREC B1 2009 on 2009-01-15 22:49:42 as along with 1 person adamarnesen
	Automatic synthesis of interfaces between incompatible protocols [My Copy] In DAC '98: Proceedings of the 35th annual conference on Design automation (1998), pp. 8-13. by Roberto Passerone, James A. Rowson, Alberto S. Vincentelli posted to fsm by adamarnesen to the group BYU CHREC B1 2009 on 2008-12-03 18:34:07 as along with 1 person jcarroll
	Finite state automata and simple recurrent networks [My Copy] Neural Comput., Vol. 1, No. 3. (1989), pp. 372-381. by Axel Cleeremans, David S. Schreiber, James L. Mcclelland posted to fsm induction srn by jamalex on 2008-11-26 08:55:30 as
	An evolution strategy for the induction of fuzzy finite-state automata [My Copy] Granular Computing, 2005 IEEE International Conference on In Granular Computing, 2005 IEEE International Conference on, Vol. 2 (2005), pp. 579-582 Vol. 2. by Mozhiwen, Wanmin, Shulan posted to fsm genetic grammar induction by jamalex on 2008-11-22 10:22:39 as
	Three models for the description of language [My Copy] Information Theory, IRE Transactions on, Vol. 2, No. 3. (06 January 2003), pp. 113-124. by N. Chomsky posted to cfg cs fsm grammar language linguistics by zeichnendes on 2008-04-15 07:00:14 as along with 9 people and 1 group fiacobelli camster ansobol yallop adriansampson eyliu JohnAGoldsmith lucretia_fly sgroenewegen dbk-lab
	SEDA: an architecture for well-conditioned, scalable internet services [My Copy] SIGOPS Oper. Syst. Rev., Vol. 35, No. 5. (December 2001), pp. 230-243. by Matt Welsh, David Culler, Eric Brewer posted to architecture event fsm network seda by myui on 2008-02-01 16:50:55 as along with 1 person kzk_mover
	Lessons from a Small Country about the Global Obesity Crisis [My Copy] Globalization and Health, Vol. 2 (12 September 2006), 11. by Kelly D. Brownell, Derek Yach posted to brownell dependence diet-related fsm globalization micronesia obesity by doran on 2007-12-15 11:30:47 as
	Testing Software Design Modeled by Finite-State Machines [My Copy] Transactions on Software Engineering In Transactions on Software Engineering, Vol. SE-4, No. 3. (1978), pp. 178-187. by T. S. Chow posted to 1978 fsm seminal tests by leonardo on 2007-12-10 14:31:35 as along with 1 person kirchengast
	Compositionally Progressive Solutions of Synchronous FSM Equations [My Copy] Discrete Event Dynamic Systems, Vol. 18, No. 1. (March 2008), pp. 51-89. by Nina Yevtushenko, Tiziano Villa, Robert Brayton, Alex Petrenko, Alberto S. Vincentelli posted to 2008 composition fsm statecharts synchronization by leonardo on 2007-12-01 14:54:06 as
	Refinement in Finite State Machine Testing [My Copy] Fundam. Inform., Vol. 64, No. 1-4. (2005), pp. 191-203. by Florentin Ipate, Tudor Balanescu posted to 2005 fsm refinement _to_download tests by leonardo on 2007-11-23 19:17:32 as
	Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) [My Copy] In International Conference on Software Engineering (1997), pp. 525-535. by Lalita J. Jagadeesan, Adam A. Porter, Carlos Puchol, Christopher J. Ramming, Lawrence G. Votta posted to test-case-generation temporal-logic softnet fsm formalization by sjgaller to the group Context-driven-testers on 2007-06-06 13:15:50 as along with 1 group Desgin-by-Contract
	Java Specification Extension for Automated Test Development [My Copy] In Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Revised Papers, Vol. 2244/2001 (2001), pp. 301-307. by Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, et al.Alexander Kossatchev, Victor V. Kuliamin, Alexandre Petrenko, Sergey V. Zelenov posted to unitesk test-case-generation softnet java fsm by sjgaller to the group Context-driven-testers on 2007-06-05 09:01:51 as along with 1 group Desgin-by-Contract
	Generating finite state machines from abstract state machines [My Copy] In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 112-122. by Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes posted to abstract-state-machines asm executable fsm by scis0000001 on 2007-05-04 08:36:41 as along with 1 person leonardo
	Testing of Finite State Machines [My Copy] : Model-Based Testing of Reactive Systems (2005), pp. 1-3. by Manfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner posted to 2005 fsm tests by leonardo on 2007-03-19 12:16:46 as
	Finite State Machines [My Copy] : Model-Based Testing of Reactive Systems In Model-Based Testing of Reactive Systems (2005), pp. 611-614. by Bengt Jonsson posted to 2005 appendix fsm by leonardo on 2007-03-19 11:57:57 as
	Shortest paths in the Tower of Hanoi graph and finite automata [My Copy] (8 Oct 2003) by Dan Romik posted to fractality fsa fsm graph recursion self-similarity shortest-path sierpinski-gasket sierpinski-triangle towers-of-hanoi by scis0000001 on 2006-12-07 14:17:18 as
	A state-based approach to communicating processes [My Copy] Distributed Computing, Vol. V3, No. 1. (1 March 1988), pp. 9-18. by Mark B. Josephs posted to 1988 csp fsm refinement by leonardo on 2006-10-15 03:35:42 as
	Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine [My Copy] The Computer Journal, Vol. 46, No. 3. (1 March 2003), pp. 307-318. by R. M. Hierons posted to 2003 fsm statecharts tests by leonardo on 2006-09-26 14:06:14 as
	Learning and extracting finite state automata with second-order recurrent neural networks [My Copy] Neural Comput., Vol. 4, No. 3. (May 1992), pp. 393-405. by C. L. Giles, C. B. Miller, D. Chen, H. H. Chen, G. Z. Sun, Y. C. Lee posted to fsm by edizquierdo on 2006-07-10 01:54:32 as
	The dynamics of discrete-time computation, with application to recurrent neural networks and finite state machine extraction. [My Copy] Neural Comput, Vol. 8, No. 6. (15 August 1996), pp. 1135-1178. by M. Casey posted to fsm by edizquierdo on 2006-07-06 00:41:58 as along with 1 person eldan
	The Induction of Dynamical Recognizers [My Copy] Machine Learning, Vol. 7 (1991), pp. 227-252. by Jordan B. Pollack posted to fsm by edizquierdo on 2006-07-06 00:36:15 as
	Analysis of Dynamical Recognizers [My Copy] Neural Computation, Vol. 9, No. 5. (1997), pp. 1127-1142. by Alan D. Blair, Jordan B. Pollack posted to fsm by edizquierdo on 2006-07-06 00:32:35 as
	Recurrent Networks: State Machines or Iterated Function Systems? [My Copy] In Proceedings of the 1993 Connectionist Models Summer School (1994) by J. F. Kolen edited by M. C. Mozer, P. Smolensky, D. S. Touretzky, J. L. Elman, A. S. Weigend posted to fsm by edizquierdo on 2006-07-06 00:25:00 as
	Variable ordering and selection of FSM traversal [My Copy] Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE International Conference on (1991), pp. 476-479. by S. W. Jeong, B. Plessier, G. D. Hachtel, F. Somenzi posted to bdd fsm ordering by bfraser on 2006-02-23 22:08:13 as

Note: You may cite this page as: http://www.citeulike.org/tag/fsm

concurrency	5
softnet	4
statecharts	4
test-case-generation	4
tests	4
2005	3
java	3
asm	2
cfg	2
formalization	2
fsm-extraction	2
grammar	2
induction	2
language	2
refinement	2
rnn	2
temporal-logic	2
unitesk	2
1978	1
1988	1
2002	1
2003	1
2004	1
2008	1
3mdl	1
4ref	1
_to_download	1
abstract-state-machines	1
amba	1
ann	1
appendix	1
architecture	1
bdd	1
brownell	1
chomsky	1
classic	1
composition	1
cs	1
csp	1
dependence	1
design_pattern	1
diet-related	1
event	1
executable	1
fractality	1
fsa	1
genetic	1
globalization	1
graph	1
incremental	1
ive	1
linguistics	1
micronesia	1
model	1
model_checking	1
network	1
obesity	1
ordering	1
puf	1
recursion	1
regular-language	1
second-order-rnn	1
security	1
seda	1
self-similarity	1
seminal	1
shortest-path	1
sierpinski-gasket	1
sierpinski-triangle	1
sigmod	1
srn	1
synchronization	1
towers-of-hanoi	1
uio	1
uml	1

Tag fsm [46 articles] Export

Related Tags