Search results for "machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Irene Kotsia, Ioannis Patras	Relative Margin Support Tensor Machines for gait and action recognition.	CIVR	2010	DBLP DOI BibTeX RDF	?-support tensor machines, ?-support vector machines, multilinear support tensor machines, relative margin support tensor machines, relative margin support vector machines
49	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
45	Alan C. Shaw	Communicating Real-Time State Machines.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties
43	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
42	Chandra Chekuri, Sanjeev Khanna	A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines.	ICALP	2001	DBLP DOI BibTeX RDF	average completion time, uniformly related machines, weighted completion time, scheduling, Polynomial time approximation scheme
40	Edward W. Krauser, Aditya P. Mathur, Vernon Rego	High Performance Software Testing on SIMD Machines.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines
39	Rolf Mitsdorffer, Joachim Diederich	Prediction of First-Day Returns of Initial Public Offering in the US Stock Market Using Rule Extraction from Support Vector Machines.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
39	Spyros C. Kontogiannis	Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines.	STOC	2002	DBLP DOI BibTeX RDF	limited information, online load balancing, related machines
38	Florentin Ipate, Mike Holcombe	Generating Test Sets from Non-Deterministic Stream X-Machines.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Finite state machines, Non-determinism, Test set generation, X-machines
37	Jerzy Tyszkiewicz	Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
37	Irith Pomeranz, Sudhakar M. Reddy	Test generation for multiple state-table faults in finite-state machines.	ICCD	1995	DBLP DOI BibTeX RDF	multiple state-table faults, incompletely specified faulty machines, implicit fault enumeration, fault diagnosis, logic testing, test generation, finite state machines, finite-state machines
37	Elisa Heymann, Miquel A. Senar, Emilio Luque, Miron Livny	Evaluation of Strategies to Reduce the Impact of Machine Reclaim in Cycle-Stealing Environments.	CCGRID	2001	DBLP DOI BibTeX RDF	opportunistic systems, scheduling, grid computing, cluster computing, Cycle-stealing
36	Joachim Diederich	Rule Extraction from Support Vector Machines: An Introduction.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
36	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
36	Lei Gu 0001, Huizhong Wu	Applying a novel decision rule to the sphere-structured support vector machines algorithm.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Sphere-structured support vector machines, Pattern classification, Decision rule, Kernel functions
35	Paolo Cremonesi, Matteo Pugassi	Performance Characterization of Quadrics Machines Based on HighLevel Languages.	EUROMICRO	1997	DBLP DOI BibTeX RDF	benchmarking, parallel machines, performance prediction, SIMD machines
35	Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick	Algorithms for the optimal state assignment of asynchronous state machines.	ARVLSI	1995	DBLP DOI BibTeX RDF	optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic
34	Ho-Leung Chan, Tak Wah Lam, Kin-Shing Liu	Extra unit-speed machines are almost as powerful as speedy machines for competitive flow time scheduling.	SODA	2006	DBLP DOI BibTeX RDF
34	Yossi Azar, Leah Epstein	Approximation Schemes for Covering and Scheduling on Related Machines.	APPROX	1998	DBLP DOI BibTeX RDF
34	Atsushi Hori, Munenori Maeda, Yutaka Ishikawa, Takashi Tomokiyo, Hiroki Konaka	A scalable time-sharing scheduling for partitionable distributed memory parallel machines.	HICSS (2)	1995	DBLP DOI BibTeX RDF	time-sharing systems, scalable time-sharing scheduling, partitionable distributed memory parallel machines, process scheduling queue system, distributed queue tree, dynamically partitionable parallel machines, dynamically nested partitioning, time-sharing scheduling, process scheduling queues, round-robin scheduling algorithm, task allocation policies, high-load situations, parallel machines, reconfigurable architectures, trees (mathematics), distributed memory systems, processor scheduling, simulation results, interactive environment, time-sharing, nested, batch scheduling, processor utilization
34	Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz, Russell W. Quong, Wayne G. Nation	Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	partitionable SIMD/SPMD machines, compilation process, perfect memory maps, large-scale parallel machines, user-controlled partitionable single-instruction-multipledata/single-program-multiple data, memory fragmentation, memory map size, singleprogram nature, partitionable interconnection networks, parallel programming, parallelism, parallel machines, program compilers, storage management, multiprocessorinterconnection networks
34	James A. Lupo	Benchmarking UHGROMOS.	HICSS (5)	1995	DBLP DOI BibTeX RDF	GROMOS, parallel Fortran preprocessor, Pfortran, Intel Corporation, IBM Corporation, massively parallel processor machines, Intel iPSC/860, Caltech Intel DELTA, IBM SP1, UHGROMOS molecular dynamics program, test application, parallel performance analysis, parallel programming, benchmarking, FORTRAN, parallel machines, parallel machines, software performance evaluation, physics, parallel languages, software portability, physics computing, porting, Intel Paragon, program processors, molecular dynamics method
33	Lakhmi C. Jain, Anas Quteishat, Chee Peng Lim	Intelligent Machines: An Introduction.	Innovations in Intelligent Machines (1)	2007	DBLP DOI BibTeX RDF
33	Jan Van den Bussche	Finite Cursor Machines in Database Query Processing.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
33	Lars Heide	Scale and Scope in American Key-Set Office Machine Dynamics, 1880s-1930s.	IEEE Ann. Hist. Comput.	2011	DBLP DOI BibTeX RDF	key-set office machines, typewriters, adding machines, multiplication machines, cash registers, punched-card machines, industrial competition, Burroughs, Felt & Tarrant, Remington, National Cash Register Company, Herman Hollerith, Remington Rand, history of computing, IBM
32	Hongbing Liu, Shengwu Xiong, Qiong Chen	Training fuzzy support vector machines by using boundary of rough set.	GEC Summit	2009	DBLP DOI BibTeX RDF	support vector machines, rough set, boundary, equivalence class, fuzzy support vector machines
32	Marian Gheorghe 0001	Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars
32	Peter Koepke	Ordinal Computability.	CiE	2009	DBLP DOI BibTeX RDF	Ordinal machines, Infinite Time Register Machines, Constructible sets
31	Damien Woods, Turlough Neary	Small Semi-weakly Universal Turing Machines.	MCU	2007	DBLP DOI BibTeX RDF
31	Pinyan Lu, Changyuan Yu	Randomized Truthful Mechanisms for Scheduling Unrelated Machines.	WINE	2008	DBLP DOI BibTeX RDF
31	Jennifer Burge, Parthasarathy Ranganathan, Janet L. Wiener	Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM).	CLUSTER	2007	DBLP DOI BibTeX RDF
31	Hong-Soog Kim, Hae-Jin Kim, Dong-Soo Han	Performance Evaluation of BLAST on SMP Machines.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
31	Oguz Dikenelli, Murat Osman Ünalir, Atilla Özerdim, Esen A. Ozkarahan	A load balancing approach for parallel database machines.	PDP	1995	DBLP DOI BibTeX RDF	parallel database machines, multiattribute declustering, load balancing, resource allocation, parallel architecture, distributed databases, database machines, database machines, parallel database systems
31	Antonio Polo Márquez, Manuel Barrena García, Juan Hernández Núñez, Juan-Miguel Martínez 0002, Pedro de Miguel, Manuel M. Nieto Rodríguez	Multi-dimensional partitioning for massively parallel database machines.	PDP	1995	DBLP DOI BibTeX RDF	multidimensional partitioning, massively parallel database machines, processing tools, parallel relational database, m-Q-tree indexes, multiattribute index structure, scalability, query processing, relational databases, distributed databases, requirements, parallel machines, high performance, software performance evaluation, access method, tree data structures, database machines, complex queries, data declustering
31	David Bernstein, Michael Rodeh, Izidor Gertner	On the Complexity of Scheduling Problems for Parallel/Pipelined Machines.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	pipelined machines, scheduling, computational complexity, complexity, NP-completeness, parallel machines, parallel machines, polynomial-time algorithm, pipeline processing, scheduling problems, dedicated processors
31	L. P. J. Veelenturf	Inference of Sequential Machines from Sample Computations.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	synthesis of sequential machines, Adaptive sequential machines, identification in the limit, identification on sequential machines, inductive inference
30	Carol Pedersen, Joachim Diederich	Accent in Speech Samples: Support Vector Machines for Classification and Rule Extraction.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
30	Glenn Fung, Sathyakama Sandilya, R. Bharat Rao	Rule Extraction from Linear Support Vector Machines via Mathematical Programming.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
30	Antje Nowack	Slicing Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
30	Stanislas Nanchen, Robert F. Stärk	A Security Logic for Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
30	Marianna Nicolosi Asmundo, Elvinia Riccobene	Consistent Integration for Sequential Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Nicu G. Fruja, Robert F. Stärk	The Hidden Computation Stepsof Turbo Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Wolfram Schulte	Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
30	Angelo Gargantini, Elvinia Riccobene	Encoding Abstract State Machines in PVS.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
30	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
30	Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Using Abstract State Machines at Microsoft: A Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
30	Andreas Blass, Yuri Gurevich, Jan Van den Bussche	Abstract State Machines and Computationally Complete Query Languages.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
30	Eric Torng, Jason McCullough	SRPT optimally utilizes faster machines to minimize flow time.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	scheduling, parallel machines, resource augmentation, flow time, SRPT
30	Hadas Shachnai, Tami Tamir, Gerhard J. Woeginger	Minimizing Makespan and Preemption Costs on a System of Uniform Machines.	Algorithmica	2005	DBLP DOI BibTeX RDF	Uniform machines, Preemption costs, Minimum makespan, Scheduling, Approximation algorithms, Parallel processing
30	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
30	Noah Pywes, Paul Rehmet	Recovery of Software Design, State-Machines, and Specifications from Source Code.	ICECCS	1996	DBLP DOI BibTeX RDF	hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines
29	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines.	IEEE PACT	1997	DBLP DOI BibTeX RDF	storage layout, SUN SPARCstation 5, IBM SP-2, SGI Challenge, Convex Exemplar, parallel architectures, parallel architectures, optimizing compilers, interprocessor communication, cache performance, distributed memory machines, shared memory machines, loop nests, data decomposition, compiler algorithms
29	Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger	Efficient Simulation of Multiprocessors through Finite State Machines.	EUROMICRO	1996	DBLP DOI BibTeX RDF	event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines
29	Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba	Dataflow Computing Models, Languages, and Machines for Intelligence Computations.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages
28	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
28	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
28	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore	Abstract State Machines: Designing Distributed Systems with State Machines and B.	B	1998	DBLP DOI BibTeX RDF
28	Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi	Testing system virtual machines.	ISSTA	2010	DBLP DOI BibTeX RDF	software testing, virtualization, emulation, automatic test generation, fuzzing
28	Luis Diego Briceno, Mohana Oltikar, Howard Jay Siegel, Anthony A. Maciejewski	Study of an Iterative Technique to Minimize Completion Times of Non-Makespan Machines.	IPDPS	2007	DBLP DOI BibTeX RDF
28	Witold Kinsner	Towards Cognitive Machines: Multiscale Measures and Analysis.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
28	Rajeev Alur, Sampath Kannan, Mihalis Yannakakis	Communicating Hierarchical State Machines.	ICALP	1999	DBLP DOI BibTeX RDF
28	William M. Farmer, Richard F. Freund, Mark Furtney, Paul Messina, Lionel M. Ni, Charles L. Seitz, Marc Snir	For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target?	IPPS	1996	DBLP DOI BibTeX RDF	parallel processing, high-performance computing, SIMD, MIMD, grand challenges
28	Toshio Yanagida	Single Molecule Nano-Bioscience.	BioADIT	2006	DBLP DOI BibTeX RDF
28	P. J. Narayanan	Processor Autonomy on SIMD Architectures.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
27	Shigeo Abe	Sparse least squares support vector training in the reduced empirical feature space.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Empirical feature space, RBF kernels, Support vector machines, Pattern classification, Least squares support vector machines, Cholesky factorization, Multi-class support vector machines
27	Soumitra Bose, Vishwani D. Agrawal	Sequential logic path delay test generation by symbolic analysis.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
27	Lizy Kurian John, Vinod Reddy, Paul T. Hulina, Lee D. Coraor	A comparative evaluation of software techniques to hide memory latency.	HICSS (1)	1995	DBLP DOI BibTeX RDF	comparative software evaluation, software oriented techniques, superscalar machines, superpipelined machines, software cache prefetching, data fetch request, software controlled prefetching, aggressive prefetching, memory bandwidth requirements, bus traffic, performance, parallel machines, program compilers, processor scheduling, software performance evaluation, software pipelining, pipeline processing, microarchitecture, cache storage, instruction set architecture, memory latency, loop unrolling, static scheduling, conditional branches
27	Théophile Carniel, Leo Cazenille, Jean-Michel Dalle, José Halloy	Ten Years of Living Machines Conferences: Transformers-Based Automated Topic Grouping.	Living Machines	2022	DBLP DOI BibTeX RDF
27		Autonomous Vehicles and Machines 2022 Conference Overview and Papers Program.	Autonomous Vehicles and Machines	2022	DBLP DOI BibTeX RDF
27	Robin B. Jenkin, Cheng Zhao	Radiometry and Photometry for Autonomous Vehicles and Machines - Fundamental Performance Limits.	Autonomous Vehicles and Machines	2021	DBLP DOI BibTeX RDF
27	Xerxes D. Arsiwalla, Ismael T. Freire, Vasiliki Vouloutsi, Paul F. M. J. Verschure	Latent Morality in Algorithms and Machines.	Living Machines	2019	DBLP DOI BibTeX RDF
27	Jordi-Ysard Puigbò, Xerxes D. Arsiwalla, Paul F. M. J. Verschure	Challenges of Machine Learning for Living Machines.	Living Machines	2018	DBLP DOI BibTeX RDF
27	Victoria A. Webster, Katherine J. Chapin, Emma L. Hawley, Jill M. Patel, Ozan Akkus, Hillel J. Chiel, Roger D. Quinn	Aplysia Californica as a Novel Source of Material for Biohybrid Robots and Organic Machines.	Living Machines	2016	DBLP DOI BibTeX RDF
27	Xerxes D. Arsiwalla, Ivan Herreros, Paul F. M. J. Verschure	On Three Categories of Conscious Machines.	Living Machines	2016	DBLP DOI BibTeX RDF
27	Mark D. Wagy, Josh C. Bongard	Crowdseeding: A Novel Approach for Designing Bioinspired Machines.	Living Machines	2015	DBLP DOI BibTeX RDF
27	Victoria A. Webster, Emma L. Hawley, Ozan Akkus, Hillel J. Chiel, Roger D. Quinn	Fabrication of Electrocompacted Aligned Collagen Morphs for Cardiomyocyte Powered Living Machines.	Living Machines	2015	DBLP DOI BibTeX RDF
27	Alexander J. Lonsberry, Kathryn A. Daltorio, Roger D. Quinn	Capturing Stochastic Insect Movements with Liquid State Machines.	Living Machines	2014	DBLP DOI BibTeX RDF
27	Jole Costanza, Luca Zammataro, Giuseppe Nicosia	Programming Living Machines: The Case Study of Escherichia Coli.	Living Machines	2014	DBLP DOI BibTeX RDF
27	Mathew H. Evans, Charles W. Fox, Tony J. Prescott	Machines Learning - Towards a New Synthetic Autobiographical Memory.	Living Machines	2014	DBLP DOI BibTeX RDF
27	Stuart P. Wilson, Tony J. Prescott	Evo-devo Design for Living Machines.	Living Machines	2013	DBLP DOI BibTeX RDF
27	Nathan F. Lepora, Paul F. M. J. Verschure, Tony J. Prescott	Towards a Roadmap for Living Machines.	Living Machines	2013	DBLP DOI BibTeX RDF
27	David Martens, Johan Huysmans, Rudy Setiono, Jan Vanthienen, Bart Baesens	Rule Extraction from Support Vector Machines: An Overview of Issues and Application in Credit Scoring.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
27	Nat Durlach, Steve Colburn, Gerald Kidd, Chris Mason, Barbara G. Shinn-Cunningham, Tanya Arborgast, Sasha Devore, Erick Gallun, Pat Zurek, Jay Desloge	Source Separation, Localization, and Comprehension in Humans, Machines, and Human-machine Systems.	Speech Separation by Humans and Machines	2005	DBLP DOI BibTeX RDF
27	Susanne Graf, Andreas Prinz 0001	Time in State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Michael J. Butler, Michael Leuschel, Colin F. Snook	Tools for System Validation with B Abstract Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Seshadhri Comandur, Anil Seth, Somenath Biswas	RAM Simulation of BGS Model of Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi	Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Egon Börger	Design Pattern Abstractions and Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
27	Antje Nowack	Deciding the Verification Problem for Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
27	Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001	Investigating Java Concurrency Using Abstract State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
27	Andreas Blass	Abstract State Machines and Pure Mathematics.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
27	Marc Spielmann	Model Checking Abstract State Machines and Beyond.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
27	Egon Börger	Abstract State Machines at the Cusp of the Millenium.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
27	Giuseppe Del Castillo	The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
27	Wolfgang Schönfeld	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
27	Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF