Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Henrik Thane, Daniel Sundmark, Joel Huselius, Anders Pettersson	Replay Debugging of Real-Time Systems Using Time Machines.	IPDPS	2003	DBLP DOI BibTeX RDF	Real-time systems, monitoring, debugging, determinism, distributed real-time systems, replay, black box, probe-effect
16	Frances J. Ranney	At the heart of information ecologies: invisibility and technical communication.	ACM J. Comput. Documentation	2000	DBLP DOI BibTeX RDF	technological determinism, user-centered design, technical communication
16	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
16	Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Revisiting the concept of hypermedia document consistency.	ACM Multimedia (2)	1999	DBLP DOI BibTeX RDF	internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents
16	Henrik Thane, Hans Hansson	Handling Interrupts in Testing of Distributed Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	scheduling, Testing, interrupts, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, sporadic tasks, probe-effect
16	Henrik Thane, Hans Hansson	Towards Systematic Testing of Distributed Real-Time Systems.	RTSS	1999	DBLP DOI BibTeX RDF	scheduling, Testing, testability, determinism, distributed real-time systems, reproducibility, response-time analysis, probe-effect
16	Mike King	The new metaphysics and the deep structure of creativity and cognition.	Creativity & Cognition	1999	DBLP DOI BibTeX RDF	Douglas Harding, consciousness studies, first-person science, limits to computation, metaphysics, determinism
16	En-Hsin Huang, Tzilla Elrad	Scheduling control mechanisms for managing indeterminate object behavior.	SAC	1998	DBLP DOI BibTeX RDF	real-time and reactive systems, scheduling controls, adaptability, intelligence, non-determinism
16	Juraj Hromkovic, Georg Schnitger	Communication Complexity and Sequential Compuation.	MFCS	1997	DBLP DOI BibTeX RDF	Las Vegas, communication complexity, automata, determinism, computational and structural complexity
16	Klaus-Jörn Lange, Pierre McKenzie, Alain Tapp	Reversible Space Equals Deterministic Space.	CCC	1997	DBLP DOI BibTeX RDF	determinism, reversible computation, Complexity classes, space bounds
16	Mark Russinovich, Bryce Cogswell	Replay For Concurrent Non-Deterministic Shared Memory Applications.	PLDI	1996	DBLP DOI BibTeX RDF	instruction counter, repeatable execution, shared memory, non-determinism
16	Yaron Wolfstahl, Michael Yoeli	An Equivalence Theorem for Labeled Marked Graphs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language
16	László Lovász 0001, Moni Naor, Ilan Newman, Avi Wigderson	Search Problems in the Decision Tree Model (Preliminary Version)	FOCS	1991	DBLP DOI BibTeX RDF	Boolean decision tree model, CNF search, complexities, randomness, search problems, determinism, nondeterminism
16	Philippe Darondeau, Pierpaolo Degano	Causal Trees: Interleaving + Causality.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	concurrency, bisimulation, causality, non-determinism
16	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
16	Jan Newmarch	A Case Study in Deterministic Prolog.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	Kwywords and phrases Prolog, compilation, determinism, WAM
16	Earl C. Van Horn	Three criteria for designing computing systems to facilitate debugging.	Commun. ACM	1968	DBLP DOI BibTeX RDF	computer design criteria, computer systems design, computing reliability, deterministic computers, input equipment, input equipment design, multiprogrammed system design, multiprogrammed systems, parallel processing, parallel programming, parallel, debugging, operating systems, programming, programming languages, information security, program testing, determinism, program debugging, protection, multiprogramming, multiprocessing, repeatability, computer systems, memory protection, reproducibility, programming language semantics, programming language design, virtual computers, computer design, information privacy, program semantics, operating systems design, multi processing
9	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
9	Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel	Experimentation of WCET computation on both ends of automotive processor range.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	real-time, static analysis, WCET, automotive
9	Ding Yuan 0004, Haohui Mai, Weiwei Xiong, Lin Tan 0001, Yuanyuan Zhou 0001, Shankar Pasupathy	SherLog: error diagnosis by connecting clues from run-time logs.	ASPLOS	2010	DBLP DOI BibTeX RDF	failure diagnostics, static analysis, log
9	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
9	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
9	Tomasz Jurdzinski	Probabilistic Length-Reducing Two-Pushdown Automata.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
9	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Low-latency time-portable real-time programming with Exotasks.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	time portability, virtual machine, Real-time scheduling, UAVs
9	Yusuke Manabe, Basabi Chakraborty, Kenji Sugawara	Extraction of the basic feature points of handwriting data by auto translation error map.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
9	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A flexible framework for programming with non-deterministicfunctions.	PEPM	2009	DBLP DOI BibTeX RDF	call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
9	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
9	Benjamin Aminof, Orna Kupferman, Robby Lampert	Reasoning about online algorithms with weighted automata.	SODA	2009	DBLP DOI BibTeX RDF
9	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
9	Daan Leijen, Wolfram Schulte, Sebastian Burckhardt	The design of a task parallel library.	OOPSLA	2009	DBLP DOI BibTeX RDF	duplicating queue, parallelism, domain specific languages, work stealing
9	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
9	Joachim Fabini, Wolfgang Karner, Lukas Wallentin, Thomas Baumgartner	The Illusion of Being Deterministic - Application-Level Considerations on Delay in 3G HSPA Networks.	Networking	2009	DBLP DOI BibTeX RDF	HSPA, Measurements, User Experience, 3G, One-way Delay
9	Shekhar Srikantaiah, Mahmut T. Kandemir, Qian Wang	SHARP control: controlled shared cache management in chip multiprocessors.	MICRO	2009	DBLP DOI BibTeX RDF
9	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
9	Cristian Dittamo	On Expressing Different Concurrency Paradigms on Virtual Execution Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
9	Frédéric Gava, Ilias Garnier	New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Sébastien Combéfis, Charles Pecheur	A bisimulation-based approach to the analysis of human-computer interaction.	EICS	2009	DBLP DOI BibTeX RDF	human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation
9	Joseph Porter, Gabor Karsai, Janos Sztipanovits	Towards a time-triggered schedule calculation tool to support model-based embedded software design.	EMSOFT	2009	DBLP DOI BibTeX RDF	constraint programming, model-based design, time triggered architecture
9	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
9	Albert Atserias, Johannes Klaus Fichte, Marc Thurley	Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.	SAT	2009	DBLP DOI BibTeX RDF
9	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
9	Frédéric Prost, Chaouki Zerrari	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.	UC	2009	DBLP DOI BibTeX RDF
9	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
9	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	PODC	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
9	Aaron D. Sterling	Brief announcement: self-assembly as graph grammar as distributed system.	PODC	2009	DBLP DOI BibTeX RDF	grammars for distributed systems, graph assembly system, graph grammar, self-assembly
9	Knot Pipatsrisawat, Adnan Darwiche	On the Power of Clause-Learning SAT Solvers with Restarts.	CP	2009	DBLP DOI BibTeX RDF
9	Lambert Spaanenburg, Mona Akbarniai Tehrani, Richard P. Kleihorst, Peter B. L. Meijer	Behavior Modeling by Neural Networks.	ICANN (1)	2009	DBLP DOI BibTeX RDF	3-tier architecture, Sinai billiard system, collision avoidance, Behavioral modeling, convolutional neural network
9	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	SPAA	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
9	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
9	Wojciech Jamroga, Jürgen Dix	Model Checking Abilities of Agents: A Closer Look.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Computational complexity
9	Emiliano Lorini, Michele Piunti, Cristiano Castelfranchi, Rino Falcone, Maria Miceli	Anticipation and Emotions for Goal Directed Agents.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
9	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek	Flexible task graphs: a unified restricted thread programming model for java.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, ownership types
9	Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti	A Multi-Periodic Synchronous Data-Flow Language.	HASE	2008	DBLP DOI BibTeX RDF
9	E. Douglas Jensen	Wrong Assumptions and Neglected Areas in Real-Time Systems.	ISORC	2008	DBLP DOI BibTeX RDF
9	Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
9	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
9	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
9	Josée Desharnais, François Laviolette, Mathieu Tracol	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.	QEST	2008	DBLP DOI BibTeX RDF
9	M. Wasiur Rashid, Michael C. Huang 0001	Supporting highly-decoupled thread-level redundancy for parallel programs.	HPCA	2008	DBLP DOI BibTeX RDF
9	Cornelius Toole, Andrei Hutanu	Network flow based resource brokering and optimization techniques for distributed data streaming over optical networks.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF	maximum network flow, remote data access, resource brokering, optical grids
9	Andrew R. Dalton, Jason O. Hallstrom	A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications.	ICPC	2008	DBLP DOI BibTeX RDF
9	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
9	Jean Goubault-Larrecq	Prevision Domains and Convex Powercones.	FoSSaCS	2008	DBLP DOI BibTeX RDF
9	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
9	Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Deterministic Input-Reversal and Input-Revolving Finite Automata.	LATA	2008	DBLP DOI BibTeX RDF
9	Chris R. Jesshope	Building a Concurrency and Resource Allocation Model into a Processor's ISA.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
9	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF	High-level Implementation, Prolog, And-Parallelism
9	Romain Beauxis	Probabilistic and Concurrent Models for Security.	ICLP	2008	DBLP DOI BibTeX RDF
9	Nalini Vasudevan, Satnam Singh, Stephen A. Edwards	A deterministic multi-way rendezvous library for haskell.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Tadeusz Wieczorek, Marcin Blachnik, Krystian Maczka	Building a Model for Time Reduction of Steel Scrap Meltdown in the Electric Arc Furnace (EAF): General Strategy with a Comparison of Feature Selection Methods.	ICAISC	2008	DBLP DOI BibTeX RDF
9	Nutan Limaye, Meena Mahajan, Antoine Meyer	On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.	CSR	2008	DBLP DOI BibTeX RDF
9	Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
9	Siddharth Choudhuri, Tony Givargis	Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning.	SEUS	2008	DBLP DOI BibTeX RDF	embedded systems, real-time, file system, NAND flash
9	Roman Obermaisser, Hubert Kraut, Christian El Salloum	A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR.	EDCC	2008	DBLP DOI BibTeX RDF
9	Zhenzhong Yu, Jihong Yan, Jie Zhao 0003, Yongsheng Gao 0002, Hegao Cai	Architecture of Multi-Agent-Based Multi-Operator Multi-Mobile-Manipulator Teleoperation System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	multi-mobile-manipulator, Architecture, multi-agent, teleoperation
9	Benoit Lacroix, Philippe Mathieu, Andras Kemeny	A Normative Model for Behavioral Differentiation.	IAT	2008	DBLP DOI BibTeX RDF
9	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
9	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
9	Lars Otten, Rina Dechter	Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems.	CP	2008	DBLP DOI BibTeX RDF
9	Manfred Schmidt-Schauß, Elena Machkasova	A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.	RTA	2008	DBLP DOI BibTeX RDF
9	Carlos Grilo, Luís Correia 0001	The Influence of Asynchronous Dynamics in the Spatial Prisoner's Dilemma Game.	SAB	2008	DBLP DOI BibTeX RDF
9	Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel	A supervisor implementation approach in Discrete Controller Synthesis.	ETFA	2008	DBLP DOI BibTeX RDF
9	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
9	François Degrave, Tom Schrijvers, Wim Vanhoof	Automatic Generation of Test Inputs for Mercury.	LOPSTR	2008	DBLP DOI BibTeX RDF
9	Jörg Domaschka, Thomas Bestfleisch, Franz J. Hauck, Hans P. Reiser, Rüdiger Kapitza	Multithreading Strategies for Replicated Objects.	Middleware	2008	DBLP DOI BibTeX RDF
9	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-based formal specifications of component-based real-time software.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
9	Miklós Bergou, Saurabh Mathur 0003, Max Wardetzky, Eitan Grinspun	TRACKS: toward directable thin shells.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	Galerkin, directable animation, thin shells, tracking, rigging
9	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Java takes flight: time-portable real-time programming with exotasks.	LCTES	2007	DBLP DOI BibTeX RDF	time-portability, virtual machine, real-time scheduling, UAVs
9	Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler	Multi-Level Assertion-Based Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
9	Thuy Duong Vu, Chris R. Jesshope	Formalizing SANE Virtual Processor in Thread Algebra.	ICFEM	2007	DBLP DOI BibTeX RDF	SANE Virtual Processor, microthreading, thread algebra
9	Nitya Sundareswaran, George F. Riley, Ken Boyd	Improving Quality of Service in MAC 802.11 Layer.	MASCOTS	2007	DBLP DOI BibTeX RDF
9	Dashiell Kolbe, Qiang Zhu 0001, Sakti Pramanik	On k-Nearest Neighbor Searching in Non-Ordered Discrete Data Spaces.	ICDE	2007	DBLP DOI BibTeX RDF
9	Muzammil Shahbaz, Keqin Li 0002, Roland Groz	Learning and Integration of Parameterized Components Through Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
9	Przemyslaw Plesowicz, Mieczyslaw Metzger	Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	TCP/IP communication testing, Ethernet TCP/IP, network-based feedback control, networks
9	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with DEVS.	AGTIVE	2007	DBLP DOI BibTeX RDF
9	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
9	Emanuele Viola, Avi Wigderson	One-Way Multi-Party Communication Lower Bound for Pointer Jumping with Applications.	FOCS	2007	DBLP DOI BibTeX RDF
9	Lutz Schröder, Dirk Pattinson	Modular Algorithms for Heterogeneous Modal Logics.	ICALP	2007	DBLP DOI BibTeX RDF
9	Thomas Colcombet	A Combinatorial Theorem for Trees.	ICALP	2007	DBLP DOI BibTeX RDF	Topics Semigroups, Ramseyan factorisation, Infinite structures, Trees, Monadic second-order logic
9	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF