The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for machines with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1955 (17) 1956-1959 (22) 1960-1961 (24) 1962-1963 (29) 1964 (18) 1965 (22) 1966 (31) 1967 (42) 1968 (41) 1969 (41) 1970 (32) 1971 (31) 1972 (42) 1973 (56) 1974 (61) 1975 (64) 1976 (36) 1977 (43) 1978 (52) 1979 (63) 1980 (49) 1981 (69) 1982 (74) 1983 (105) 1984 (77) 1985 (90) 1986 (93) 1987 (185) 1988 (199) 1989 (211) 1990 (232) 1991 (222) 1992 (273) 1993 (257) 1994 (288) 1995 (431) 1996 (371) 1997 (423) 1998 (455) 1999 (472) 2000 (652) 2001 (790) 2002 (816) 2003 (996) 2004 (1192) 2005 (1633) 2006 (1696) 2007 (1813) 2008 (1773) 2009 (1409) 2010 (855) 2011 (822) 2012 (944) 2013 (1002) 2014 (1067) 2015 (1020) 2016 (1096) 2017 (1076) 2018 (1162) 2019 (1209) 2020 (1967) 2021 (1005) 2022 (983) 2023 (1019) 2024 (236)
Publication types (Num. hits)
article(11395) book(86) data(4) incollection(337) inproceedings(21244) mastersthesis(1) phdthesis(402) proceedings(107)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15746 occurrences of 5632 keywords

Results
Found 33576 publication records. Showing 33576 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
56Irene Kotsia, Ioannis Patras Relative Margin Support Tensor Machines for gait and action recognition. Search on Bibsonomy CIVR The full citation details ... 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
49Gang Luo, Anindya Das, Gregor von Bochmann Software Testing Based on SDL Specifications with Save. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
45Alan C. Shaw Communicating Real-Time State Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
43Gang Luo, Gregor von Bochmann, Alexandre Petrenko Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
42Chandra Chekuri, Sanjeev Khanna A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF average completion time, uniformly related machines, weighted completion time, scheduling, Polynomial time approximation scheme
40Edward W. Krauser, Aditya P. Mathur, Vernon Rego High Performance Software Testing on SIMD Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
39Rolf Mitsdorffer, Joachim Diederich Prediction of First-Day Returns of Initial Public Offering in the US Stock Market Using Rule Extraction from Support Vector Machines. Search on Bibsonomy Rule Extraction from Support Vector Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Spyros C. Kontogiannis Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines. Search on Bibsonomy STOC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF limited information, online load balancing, related machines
38Florentin Ipate, Mike Holcombe Generating Test Sets from Non-Deterministic Stream X-Machines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Testing, Finite state machines, Non-determinism, Test set generation, X-machines
37Jerzy Tyszkiewicz Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Irith Pomeranz, Sudhakar M. Reddy Test generation for multiple state-table faults in finite-state machines. Search on Bibsonomy ICCD The full citation details ... 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
37Elisa Heymann, Miquel A. Senar, Emilio Luque, Miron Livny Evaluation of Strategies to Reduce the Impact of Machine Reclaim in Cycle-Stealing Environments. Search on Bibsonomy CCGRID The full citation details ... 2001 DBLP  DOI  BibTeX  RDF opportunistic systems, scheduling, grid computing, cluster computing, Cycle-stealing
36Joachim Diederich Rule Extraction from Support Vector Machines: An Introduction. Search on Bibsonomy Rule Extraction from Support Vector Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Lei Gu 0001, Huizhong Wu Applying a novel decision rule to the sphere-structured support vector machines algorithm. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sphere-structured support vector machines, Pattern classification, Decision rule, Kernel functions
35Paolo Cremonesi, Matteo Pugassi Performance Characterization of Quadrics Machines Based on HighLevel Languages. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF benchmarking, parallel machines, performance prediction, SIMD machines
35Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick Algorithms for the optimal state assignment of asynchronous state machines. Search on Bibsonomy ARVLSI The full citation details ... 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
34Ho-Leung Chan, Tak Wah Lam, Kin-Shing Liu Extra unit-speed machines are almost as powerful as speedy machines for competitive flow time scheduling. Search on Bibsonomy SODA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Yossi Azar, Leah Epstein Approximation Schemes for Covering and Scheduling on Related Machines. Search on Bibsonomy APPROX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Atsushi Hori, Munenori Maeda, Yutaka Ishikawa, Takashi Tomokiyo, Hiroki Konaka A scalable time-sharing scheduling for partitionable distributed memory parallel machines. Search on Bibsonomy HICSS (2) The full citation details ... 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
34Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz, Russell W. Quong, Wayne G. Nation Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
34James A. Lupo Benchmarking UHGROMOS. Search on Bibsonomy HICSS (5) The full citation details ... 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
33Lakhmi C. Jain, Anas Quteishat, Chee Peng Lim Intelligent Machines: An Introduction. Search on Bibsonomy Innovations in Intelligent Machines (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Jan Van den Bussche Finite Cursor Machines in Database Query Processing. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Lars Heide Scale and Scope in American Key-Set Office Machine Dynamics, 1880s-1930s. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 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
32Hongbing Liu, Shengwu Xiong, Qiong Chen Training fuzzy support vector machines by using boundary of rough set. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF support vector machines, rough set, boundary, equivalence class, fuzzy support vector machines
32Marian Gheorghe 0001 Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars
32Peter Koepke Ordinal Computability. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ordinal machines, Infinite Time Register Machines, Constructible sets
31Damien Woods, Turlough Neary Small Semi-weakly Universal Turing Machines. Search on Bibsonomy MCU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Pinyan Lu, Changyuan Yu Randomized Truthful Mechanisms for Scheduling Unrelated Machines. Search on Bibsonomy WINE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Jennifer Burge, Parthasarathy Ranganathan, Janet L. Wiener Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM). Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Hong-Soog Kim, Hae-Jin Kim, Dong-Soo Han Performance Evaluation of BLAST on SMP Machines. Search on Bibsonomy ISPA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Oguz Dikenelli, Murat Osman Ünalir, Atilla Özerdim, Esen A. Ozkarahan A load balancing approach for parallel database machines. Search on Bibsonomy PDP The full citation details ... 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
31Antonio 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. Search on Bibsonomy PDP The full citation details ... 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
31David Bernstein, Michael Rodeh, Izidor Gertner On the Complexity of Scheduling Problems for Parallel/Pipelined Machines. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
31L. P. J. Veelenturf Inference of Sequential Machines from Sample Computations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF synthesis of sequential machines, Adaptive sequential machines, identification in the limit, identification on sequential machines, inductive inference
30Carol Pedersen, Joachim Diederich Accent in Speech Samples: Support Vector Machines for Classification and Rule Extraction. Search on Bibsonomy Rule Extraction from Support Vector Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Glenn Fung, Sathyakama Sandilya, R. Bharat Rao Rule Extraction from Linear Support Vector Machines via Mathematical Programming. Search on Bibsonomy Rule Extraction from Support Vector Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Antje Nowack Slicing Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Stanislas Nanchen, Robert F. Stärk A Security Logic for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Marianna Nicolosi Asmundo, Elvinia Riccobene Consistent Integration for Sequential Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Wolf Zimmermann, Axel Dold A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Nicu G. Fruja, Robert F. Stärk The Hidden Computation Stepsof Turbo Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Erich Grädel, Antje Nowack Quantum Computing and Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Wolfram Schulte Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Angelo Gargantini, Elvinia Riccobene Encoding Abstract State Machines in PVS. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Egon Börger, Alessandra Cavarra, Elvinia Riccobene Modeling the Dynamics of UML State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes Using Abstract State Machines at Microsoft: A Case Study. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Andreas Blass, Yuri Gurevich, Jan Van den Bussche Abstract State Machines and Computationally Complete Query Languages. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Eric Torng, Jason McCullough SRPT optimally utilizes faster machines to minimize flow time. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduling, parallel machines, resource augmentation, flow time, SRPT
30Hadas Shachnai, Tami Tamir, Gerhard J. Woeginger Minimizing Makespan and Preemption Costs on a System of Uniform Machines. Search on Bibsonomy Algorithmica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Uniform machines, Preemption costs, Minimum makespan, Scheduling, Approximation algorithms, Parallel processing
30Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis Analysis of recursive state machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
30Noah Pywes, Paul Rehmet Recovery of Software Design, State-Machines, and Specifications from Source Code. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines
29Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines. Search on Bibsonomy IEEE PACT The full citation details ... 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
29Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger Efficient Simulation of Multiprocessors through Finite State Machines. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines
29Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba Dataflow Computing Models, Languages, and Machines for Intelligence Computations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
28Olivier Danvy Defunctionalized interpreters for programming languages. Search on Bibsonomy ICFP The full citation details ... 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
28Florentin Ipate, Mike Holcombe Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF finite state machines, unit testing, functional testing, state diagrams, stream X-machines
28Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore Abstract State Machines: Designing Distributed Systems with State Machines and B. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi Testing system virtual machines. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software testing, virtualization, emulation, automatic test generation, fuzzing
28Luis Diego Briceno, Mohana Oltikar, Howard Jay Siegel, Anthony A. Maciejewski Study of an Iterative Technique to Minimize Completion Times of Non-Makespan Machines. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Witold Kinsner Towards Cognitive Machines: Multiscale Measures and Analysis. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Rajeev Alur, Sampath Kannan, Mihalis Yannakakis Communicating Hierarchical State Machines. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28William 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? Search on Bibsonomy IPPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel processing, high-performance computing, SIMD, MIMD, grand challenges
28Toshio Yanagida Single Molecule Nano-Bioscience. Search on Bibsonomy BioADIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28P. J. Narayanan Processor Autonomy on SIMD Architectures. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Shigeo Abe Sparse least squares support vector training in the reduced empirical feature space. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 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
27Soumitra Bose, Vishwani D. Agrawal Sequential logic path delay test generation by symbolic analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
27Lizy Kurian John, Vinod Reddy, Paul T. Hulina, Lee D. Coraor A comparative evaluation of software techniques to hide memory latency. Search on Bibsonomy HICSS (1) The full citation details ... 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
27Théophile Carniel, Leo Cazenille, Jean-Michel Dalle, José Halloy Ten Years of Living Machines Conferences: Transformers-Based Automated Topic Grouping. Search on Bibsonomy Living Machines The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27 Autonomous Vehicles and Machines 2022 Conference Overview and Papers Program. Search on Bibsonomy Autonomous Vehicles and Machines The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Robin B. Jenkin, Cheng Zhao Radiometry and Photometry for Autonomous Vehicles and Machines - Fundamental Performance Limits. Search on Bibsonomy Autonomous Vehicles and Machines The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Xerxes D. Arsiwalla, Ismael T. Freire, Vasiliki Vouloutsi, Paul F. M. J. Verschure Latent Morality in Algorithms and Machines. Search on Bibsonomy Living Machines The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Jordi-Ysard Puigbò, Xerxes D. Arsiwalla, Paul F. M. J. Verschure Challenges of Machine Learning for Living Machines. Search on Bibsonomy Living Machines The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Victoria 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. Search on Bibsonomy Living Machines The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Xerxes D. Arsiwalla, Ivan Herreros, Paul F. M. J. Verschure On Three Categories of Conscious Machines. Search on Bibsonomy Living Machines The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Mark D. Wagy, Josh C. Bongard Crowdseeding: A Novel Approach for Designing Bioinspired Machines. Search on Bibsonomy Living Machines The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Victoria A. Webster, Emma L. Hawley, Ozan Akkus, Hillel J. Chiel, Roger D. Quinn Fabrication of Electrocompacted Aligned Collagen Morphs for Cardiomyocyte Powered Living Machines. Search on Bibsonomy Living Machines The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Alexander J. Lonsberry, Kathryn A. Daltorio, Roger D. Quinn Capturing Stochastic Insect Movements with Liquid State Machines. Search on Bibsonomy Living Machines The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Jole Costanza, Luca Zammataro, Giuseppe Nicosia Programming Living Machines: The Case Study of Escherichia Coli. Search on Bibsonomy Living Machines The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Mathew H. Evans, Charles W. Fox, Tony J. Prescott Machines Learning - Towards a New Synthetic Autobiographical Memory. Search on Bibsonomy Living Machines The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Stuart P. Wilson, Tony J. Prescott Evo-devo Design for Living Machines. Search on Bibsonomy Living Machines The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Nathan F. Lepora, Paul F. M. J. Verschure, Tony J. Prescott Towards a Roadmap for Living Machines. Search on Bibsonomy Living Machines The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27David Martens, Johan Huysmans, Rudy Setiono, Jan Vanthienen, Bart Baesens Rule Extraction from Support Vector Machines: An Overview of Issues and Application in Credit Scoring. Search on Bibsonomy Rule Extraction from Support Vector Machines The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Nat 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. Search on Bibsonomy Speech Separation by Humans and Machines The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Susanne Graf, Andreas Prinz 0001 Time in State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Michael J. Butler, Michael Leuschel, Colin F. Snook Tools for System Validation with B Abstract Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Calvin Kai Fan Tang, Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Seshadhri Comandur, Anil Seth, Somenath Biswas RAM Simulation of BGS Model of Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Egon Börger Design Pattern Abstractions and Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
27Christoph Beierle, Gabriele Kern-Isberner Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Antje Nowack Deciding the Verification Problem for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001 Investigating Java Concurrency Using Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Andreas Blass Abstract State Machines and Pure Mathematics. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Marc Spielmann Model Checking Abstract State Machines and Beyond. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Egon Börger Abstract State Machines at the Cusp of the Millenium. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Giuseppe Del Castillo The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
27Wolfgang Schönfeld Interacting Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
27Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha Interacting Abstract State Machines. Search on Bibsonomy Workshop on Abstract State Machines The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 33576 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license