Search results for "Termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hans Bruun, Dion Coumans, Mai Gehrke	Distributive Lattice-Structured Ontologies.	CALCO	2009	DBLP DOI BibTeX RDF
12	Po-Chiang Lin, Tsungnan Lin, Chiapin Wang	Performance analysis of a cross-layer handoff ordering scheme in wireless networks.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
12	T. S. Raghu 0001, Wonseok Woo, S. B. Mohan, H. Raghav Rao	Market reaction to patent infringement litigations in the information technology industry.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Litigations, IT innovations, Intellectual property, Patents, Event study
12	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
12	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
12	Naoki Kobayashi 0001, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
12	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
12	Ralph Matthes	Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.	MPC	2008	DBLP DOI BibTeX RDF
12	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.	QEST	2008	DBLP DOI BibTeX RDF
12	Yan Zhang 0002	Dynamic Spectrum Access in Cognitive Radio Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
12	Arie Gurfinkel, Ou Wei, Marsha Chechik	Model Checking Recursive Programs with Exact Predicate Abstraction.	ATVA	2008	DBLP DOI BibTeX RDF
12	Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang	Ranking Abstractions.	ESOP	2008	DBLP DOI BibTeX RDF
12	Xinyang Zhang 0003, Anna Charny	Performance Evaluation of Pre-Congestion Notification.	IWQoS	2008	DBLP DOI BibTeX RDF
12	Alin Deutsch, Alan Nash, Jeffrey B. Remmel	The chase revisited.	PODS	2008	DBLP DOI BibTeX RDF	chase
12	Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti	Sessions and Pipelines for Structured Service Programming.	FMOODS	2008	DBLP DOI BibTeX RDF
12	René Thiemann, Jürgen Giesl, Peter Schneider-Kamp	Deciding Innermost Loops.	RTA	2008	DBLP DOI BibTeX RDF
12	Georg Moser, Andreas Schnabl	Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.	RTA	2008	DBLP DOI BibTeX RDF
12	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
12	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.	PADL	2007	DBLP DOI BibTeX RDF
12	José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina	A Formally Verified Prover for the ALC Description Logic.	TPHOLs	2007	DBLP DOI BibTeX RDF
12	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
12	George G. Mitchell, Barry McMullin, James Decraene	A cost benefit operator for efficient multi level genetic algorithm searches.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Adam Koprowski, Aart Middeldorp	Predictive Labeling with Dependency Pairs Using SAT.	CADE	2007	DBLP DOI BibTeX RDF
12	Min Dai, Ya-Lou Huang	Data Mining Used in Rule Design for Active Database Systems.	FSKD (4)	2007	DBLP DOI BibTeX RDF
12	Gérard Boudol	Fair Cooperative Multithreading.	CONCUR	2007	DBLP DOI BibTeX RDF
12	Elchanan Mossel, Sébastien Roch	On the submodularity of influence in social networks.	STOC	2007	DBLP DOI BibTeX RDF	social networks, coupling, viral marketing, submodularity
12	Marius Bozga, Radu Iosif	On Flat Programs with Lists.	VMCAI	2007	DBLP DOI BibTeX RDF
12	Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal, Michal Pechoucek	Competitive Contract Net Protocol.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
12	Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche	Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography.	PASCO	2007	DBLP DOI BibTeX RDF	parallel STL, workstealing, grid computation, symmetric cryptography, adaptive parallelism
12	Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi	Byzantine disk paxos: optimal resilience with byzantine shared memory.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	T-tolerant object implementations, Lower bounds, Consensus, Byzantine failures, Wait freedom, Shared-memory emulations
12	Alejandro Russo, Andrei Sabelfeld	Security for Multithreaded Programs Under Cooperative Scheduling.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar	Programs with Lists Are Counter Automata.	CAV	2006	DBLP DOI BibTeX RDF
12	Richard L. Graham	Approaches for Parallel Applications Fault Tolerance.	PVM/MPI	2006	DBLP DOI BibTeX RDF
12	Sunil Soman, Laurent Daynès, Chandra Krintz	Task-aware garbage collection in a multi-tasking virtual machine.	ISMM	2006	DBLP DOI BibTeX RDF	resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking
12	Moa Johansson, Alan Bundy, Lucas Dixon	Best-First Rippling.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
12	Maria-Cecilia Rivara	A Study on Delaunay Terminal Edge Method.	IMR	2006	DBLP DOI BibTeX RDF
12	Alexey Loginov, Thomas W. Reps, Mooly Sagiv	Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.	SAS	2006	DBLP DOI BibTeX RDF
12	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001	Reachability in Recursive Markov Decision Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
12	Damien Pous	Weak Bisimulation Up to Elaboration.	CONCUR	2006	DBLP DOI BibTeX RDF
12	Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Orderings for Normal Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
12	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures.	SIROCCO	2006	DBLP DOI BibTeX RDF
12	Mohammad Awedh, Fabio Somenzi	Automatic invariant strengthening to prove properties in bounded model checking.	DAC	2006	DBLP DOI BibTeX RDF	SAT, bounded model checking
12	Libing Wu, Chanle Wu, Jianqun Cui, Huyin Zhang, Gang Ye	An Overtime-Tolerance Strategy for Advance Reservation.	PDCAT	2006	DBLP DOI BibTeX RDF
12	Hui-Nien Hung, Pei-Chun Lee, Yi-Bing Lin, Nan-Fu Peng	Modeling channel assignment of small-scale cellular networks.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
12	Shun-Ping Chung, Jin-Chang Lee	Performance analysis and overflowed traffic characterization in multiservice hierarchical wireless networks.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
12	Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer	Energy Efficient VLSI Architecture for Linear Turbo Equalizer.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	iterative equalizer, SISO, turbo, architecture, low-power, iterative decoder
12	Panagiotis Manolios, Daron Vroon 0001	Ordinal Arithmetic: Algorithms and Mechanization.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	automated reasoning, arithmetic, ACL2, ordinal
12	Thomas Stibor, Jonathan Timmis, Claudia Eckert 0001	A Comparative Study of Real-Valued Negative Selection to Statistical Anomaly Detection Techniques.	ICARIS	2005	DBLP DOI BibTeX RDF
12	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
12	Ana Bove, Venanzio Capretta	Recursive Functions with Higher Order Domains.	TLCA	2005	DBLP DOI BibTeX RDF
12	Kousha Etessami, Mihalis Yannakakis	Recursive Markov Decision Processes and Recursive Stochastic Games.	ICALP	2005	DBLP DOI BibTeX RDF
12	Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers	Timing the Untimed: Terminating Successfully While Being Conservative.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
12	Xiao Liu, Abraham O. Fapojuwo	Resource management for handoff traffic in hierarchical cellular networks.	IPCCC	2005	DBLP DOI BibTeX RDF
12	Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove	Derivation and Evaluation of Concurrent Collectors.	ECOOP	2005	DBLP DOI BibTeX RDF
12	Frank Lammermann, Stefan Wappler	Benefits of software measures for evolutionary white-box testing.	GECCO	2005	DBLP DOI BibTeX RDF	metric, software measurement, evolutionary testing, automated test case generation
12	Tetsuya Izu, Noboru Kunihiro, Kazuo Ohta, Takeshi Shimoyama	Analysis on the Clockwise Transposition Routing for Dedicated Factoring Devices.	WISA	2005	DBLP DOI BibTeX RDF	clockwise transposition, routing, Integer factoring
12	David M. Horan, Richard A. Guinee	A Novel Pulse Echo Correlation Tool for Transmission Path Testing and Fault Finding using Pseudorandom Binary Sequences.	DFT	2005	DBLP DOI BibTeX RDF
12	Adam Koprowski, Hans Zantema	Proving Liveness with Fairness Using Rewriting.	FroCoS	2005	DBLP DOI BibTeX RDF
12	Carlos Areces, Daniel Gorín	Ordered Resolution with Selection for H(@).	LPAR	2004	DBLP DOI BibTeX RDF
12	Lutz Schröder, Till Mossakowski	Generic Exception Handling and the Java Monad.	AMAST	2004	DBLP DOI BibTeX RDF
12	Martin Zimmermann 0001	Distributed Multimedia Networking Services: Dynamic Configuration and Change Management.	ECUMN	2004	DBLP DOI BibTeX RDF
12	Burcin Bostan-Korpeoglu, Adnan Yazici	Using Fuzzy Petri Nets for Static Analysis of Rule-Bases.	ISCIS	2004	DBLP DOI BibTeX RDF
12	Guillem Godoy, Ashish Tiwari 0001	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.	IJCAR	2004	DBLP DOI BibTeX RDF
12	Walid Gaaloul, Sami Bhiri, Claude Godart	Discovering Workflow Transactional Behavior from Event-Based Log.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF	Enterprize knowledge discovery, Business intelligence, knowledge modelling, Workflow mining, transactional Workflows
12	Lijuan Zhu, Bu-Sung Lee, Boon-Chong Seet, Kai Juan Wong, Genping Liu, Shell-Ying Huang, Keok-Kee Lee	Performance of New Broadcast Forwarding Criteria in MANET.	ICOIN	2004	DBLP DOI BibTeX RDF
12	Nao Hirokawa, Aart Middeldorp	Dependency Pairs Revisited.	RTA	2004	DBLP DOI BibTeX RDF
12	Andreas Podelski, Andrey Rybalchenko	A Complete Method for the Synthesis of Linear Ranking Functions.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec	A Functional Scenario for Bytecode Verification of Resource Bounds.	CSL	2004	DBLP DOI BibTeX RDF
12	Gerald Esch Jr., Tom Chen 0001	Design of CMOS IO Drivers with Less Sensitivity to Process, Voltage, and Temperature Variations.	DELTA	2004	DBLP DOI BibTeX RDF
12	Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen	Fully Automatic Binding-Time Analysis for Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
12	István Maros	A General Pricing Scheme for the Simplex Method.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF
12	Boris Dahav, Opher Etzion	Distributed Enforcement of Integrity Constraints.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	database exception handling, self-stabilization in databases, distributed rules systems, distributed databases
12	Berndt Farwer, Kundan Misra	Dynamic Modification of System Structures Using LLPNs.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
12	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	A Formal Proof of Dickson's Lemma in ACL2.	LPAR	2003	DBLP DOI BibTeX RDF
12	Barbara Morawska 0001	Completeness of E-Unification with Eager Variable Elimination.	LPAR	2003	DBLP DOI BibTeX RDF
12	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Replication vs. Recursive Definitions in Channel Based Calculi.	ICALP	2003	DBLP DOI BibTeX RDF
12	Boris Aronov, Hervé Brönnimann, Allen Y. Chang, Yi-Jen Chiang	Cost-driven octree construction schemes: an experimental study.	SCG	2003	DBLP DOI BibTeX RDF	average performance, space decomposition, cost model, octree, ray shooting, cost prediction
12	Rizwan Bashirullah, Wentai Liu, Ralph K. Cavin III	Accurate delay model and experimental verification for current/voltage mode on-chip interconnects.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
12	Georg Moser, Andreas Weiermann	Relating Derivation Lengths with the Slow-Growing Hierarchy Directly.	RTA	2003	DBLP DOI BibTeX RDF
12	Jean-François Hermant, Gérard Le Lann	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors
12	Toshiyasu Arai	Epsilon substitution method for theories of jump hierarchies.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
12	María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
12	Annalisa Bossi, Nicoletta Cocco, Sandro Etalle	Transformation Systems and Nondeclarative Properties.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
12	Matthew C. Lowry, David S. Munro	Safe and Complete Distributed Garbage Collection with The Train Algorithm.	ICPADS	2002	DBLP DOI BibTeX RDF
12	Chun Ouyang 0001, Lars Michael Kristensen, Jonathan Billington	A Formal and Executable Specification of the Internet Open Trading Protocol.	EC-Web	2002	DBLP DOI BibTeX RDF
12	Rickard Cöster, Martin Svensson	Inverted file search algorithms for collaborative filtering.	SIGIR	2002	DBLP DOI BibTeX RDF	performance, collaborative filtering, inverted files
12	Rob J. van Glabbeek, Ursula Goltz	Refinement of actions and equivalence notions for concurrent systems.	Acta Informatica	2001	DBLP DOI BibTeX RDF
12	António Luís Pinto Ferreira de Sousa, Rui Oliveira 0001, Francisco Moura, Fernando Pedone	Partial Replication in the Database State Machine.	NCA	2001	DBLP DOI BibTeX RDF
12	Cristina Borralleras, Albert Rubio	A Monotonic Higher-Order Semantic Path Ordering.	LPAR	2001	DBLP DOI BibTeX RDF
12	Wim Vanhoof, Maurice Bruynooghe	Binding-Time Annotations Without Binding-Time Analysis.	LPAR	2001	DBLP DOI BibTeX RDF
12	Wlodzimierz Drabent, Miroslawa Milkowska	Proving Correctness and Completeness of Normal Programs - A Declarative Approach.	ICLP	2001	DBLP DOI BibTeX RDF
12	Michael Colón, Henny Sipma	Synthesis of Linear Ranking Functions.	TACAS	2001	DBLP DOI BibTeX RDF
12	Anjum Ali, J. K. Aggarwal	Segmentation and Recognition of Continuous Human Activity.	IEEE Workshop on Detection and Recognition of Events in Video	2001	DBLP DOI BibTeX RDF
12	Jürgen Giesl, Deepak Kapur	Dependency Pairs for Equational Rewriting.	RTA	2001	DBLP DOI BibTeX RDF
12	Hongjing Wu, Paul De Bra	Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems.	Web Intelligence	2001	DBLP DOI BibTeX RDF	user modeling, adaptive hypermedia, production rules
12	Yosi Ben-Asher, Esti Stein	Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	fairness, transformations, shared memory, sequentialize, execution sequence
12	Aart Middeldorp, Hitoshi Ohsaki	Type Introduction for Equational Rewriting.	Acta Informatica	2000	DBLP DOI BibTeX RDF
12	Phil Koopman, John DeVale	The Exception Handling Effectiveness of POSIX Operating Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Ballista, multiversion comparison, testing, robustness, operating systems, Exception handling, POSIX
12	John P. Gallagher, Julio C. Peralta	Using Regular Approximations for Generalisation During Partial Evalution.	PEPM	2000	DBLP DOI BibTeX RDF
12	Andrew M. Pitts	Operational Semantics and Program Equivalence.	APPSEM	2000	DBLP DOI BibTeX RDF