Search results for "non-concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
45	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
27	Ami Litman, Shiri Moran-Schein	Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Smooth scheduling, Variable rates, Confinement games, Concurrent confinement games, Non-concurrent confinement games, EDF schemes, EDF strategies, Online scheduling, Two players games
27	Ami Litman, Shiri Moran-Schein	Smooth scheduling under variable rates or the analog-digital confinement game.	SPAA	2006	DBLP DOI BibTeX RDF	EDF schemes, EDF strategies, concurrent confinement games, confinement games, non-concurrent confinement games, smooth scheduling, variable rates, online scheduling, two players games
27	Xin Zhang 0002, Elke A. Rundensteiner	DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment.	DaWaK	2000	DBLP DOI BibTeX RDF	Data Updates and Schema Changes, Concurrency, Data Warehousing, View Maintenance
25	Mohammad A. Naal, Emmanuel Simeu, Salvador Mir	On-Line Testable Decimation Filter Design for AMS Systems.	IOLTS	2003	DBLP DOI BibTeX RDF	non-concurrent, semi-concurrent, SigmaDelta, decimation filters, analogue BIST, on-line testing
22	George Xenoulis, Dimitris Gizopoulos, Nektarios Kranitis, Antonis M. Paschalis	Low-Cost, On-Line Software-Based Self-Testing of Embedded Processor Cores.	IOLTS	2003	DBLP DOI BibTeX RDF
21	Christoforos N. Hadjicostis	Encoded finite-state machines for non-concurrent error detection and identification.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
21	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
20	Shreyas Sundaram, Christoforos N. Hadjicostis	Non-concurrent Error Detection and Correction in Switched Linear Controllers.	HSCC	2004	DBLP DOI BibTeX RDF
16	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
16	David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith	Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector.	PLDI	2001	DBLP DOI BibTeX RDF	Java
16	Giovanni Di Crescenzo	Removing Complexity Assumptions from Concurrent Zero-Knowledge Proofs.	COCOON	2000	DBLP DOI BibTeX RDF
15	Roie Zivan, Amnon Meisels	Message delay and DisCSP search algorithms.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	search, distributed AI, distributed constraint satisfaction
12	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
12	Bixin Li, Yancheng Wang, Lili Yang	An Integrated Regression Testing Framework to Multi-Threaded Java Programs.	SET	2006	DBLP DOI BibTeX RDF	Regression testing, Multi-threaded program, Reachability testing
12	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
12	Mohammad A. Naal, M. Rakotoar, Emmanuel Simeu, Chouki Aktouf	Using Concurrent and Semi-Concurrent On-Line Testing During HLS: An Adaptable Approach.	IOLTW	2002	DBLP DOI BibTeX RDF
12	Jun Zhao 0005, V. Swamy Irrinki, Mukesh Puri, Fabrizio Lombardi	Testing SRAM-Based Content Addressable Memories.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	March C algorithm, fault detection, fault modeling, memory testing, Content addressable memory
11	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
11	Christoforos N. Hadjicostis, Alejandro D. Domínguez-García	Identification of Malicious Activity in Distributed Average Consensus via Non-Concurrent Checking.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Pavla Krotka, Katharina Hees, Peter Jacko, Dominic Magirr, Martin Posch, Marta Bofill Roig	NCC: An R-package for analysis and simulation of platform trials with non-concurrent controls.	SoftwareX	2023	DBLP DOI BibTeX RDF
11	Pandava Sudharshan Babu, Rohit Budhiraja, Ajit Kumar Chaturvedi	Optimization For Energy-Efficient OFDM Amplify and Forward Non-Concurrent Two-Way Relaying.	IEEE Commun. Lett.	2020	DBLP DOI BibTeX RDF
11	Biswajit Dutta, Rohit Budhiraja, Ravinder David Koilpillai	High-Diversity Joint Precoder Design for Non-Concurrent Two-Way AF MIMO Relaying.	IEEE Trans. Commun.	2018	DBLP DOI BibTeX RDF
11	Pandava Sudharshan Babu, Rohit Budhiraja, Ajit Kumar Chaturvedi	Joint Power Allocation for OFDM-Based Non-Concurrent Two-Way AF Relaying.	IEEE Commun. Lett.	2018	DBLP DOI BibTeX RDF
11	Marco Balboni, Davide Bertozzi	Transparent lifetime built-in self-testing of networks-on-chip through the selective non-concurrent testing of their communication channels.	AISTECS@HiPEAC	2017	DBLP DOI BibTeX RDF
11	Rohit Budhiraja, Bhaskar Ramamurthi	Joint Transceiver Design for Non-Concurrent MIMO Two-Way AF Relaying.	IEEE Wirel. Commun. Lett.	2015	DBLP DOI BibTeX RDF
11	Soumitro Chakrabarty, Konrad Kowalczyk, Maja Taseska, Emanuël A. P. Habets	Extended Kalman filter with probabilistic data association for multiple non-concurrent speaker localization in reverberant environments.	ICASSP	2014	DBLP DOI BibTeX RDF
11	Ayesha Shabbir, Tudor Zamfirescu	Highly non-concurrent longest cycles in lattice graphs.	Discret. Math.	2013	DBLP DOI BibTeX RDF
11	Étienne André, Christine Choppy, Kais Klai	Formalizing non-concurrent UML state machines using colored petri nets.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
11	Alejandro Pizano-Moreno, Ofelia Begovich	Isolation of two non-concurrent leaks in water pipelines.	CCE	2010	DBLP DOI BibTeX RDF
11	Quan J. Wang	A Bayesian method for multi-site stochastic data generation: Dealing with non-concurrent and missing data, variable transformation and parameter uncertainty.	Environ. Model. Softw.	2008	DBLP DOI BibTeX RDF
11	Shreyas Sundaram, Christoforos N. Hadjicostis	Error detection and correction in switched linear controllers via periodic and non-concurrent checks.	Autom.	2006	DBLP DOI BibTeX RDF
11	Christoforos N. Hadjicostis	Periodic and non-concurrent error detection and identification in one-hot encoded FSMs.	Autom.	2004	DBLP DOI BibTeX RDF
11	Christoforos N. Hadjicostis	Finite-state machine embeddings for non-concurrent error detection and identification.	CDC	2003	DBLP DOI BibTeX RDF
11	Yingquan Wu, Christoforos N. Hadjicostis	Non-concurrent fault identification in discrete event systems using encoded Petri net states.	CDC	2002	DBLP DOI BibTeX RDF
11	Christoforos N. Hadjicostis	Non-concurrent error detection and correction in discrete-time LTI dynamic systems.	CDC	2001	DBLP DOI BibTeX RDF
10	Henry F. Korth, Gregory D. Speegle	Formal Model of Correctness Without Serializability.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
9	Praveen Bhojwani, Rabi N. Mahapatra	Robust Concurrent Online Testing of Network-on-Chip-Based SoCs.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
9	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
9	Vitus S. W. Lam, Julian A. Padget	Formalization of UML Statechart Diagrams in the p-Calculus.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
9	Andrew W. Appel, John R. Ellis, Kai Li 0001	Real-Time Concurrent Collection on Stock Multiprocessors.	PLDI	1988	DBLP DOI BibTeX RDF	LISP, Modula-2
9	Andrew W. Appel	Real-time concurrent collection on stock multiprocessors (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
5	Lásaro J. Camargos, Marcin Wieloch, Fernando Pedone, Edmundo Roberto Mauro Madeira	A Highly Available Log Service for Transaction Termination.	ISPDC	2008	DBLP DOI BibTeX RDF
5	Amnon Meisels, Roie Zivan	Asynchronous Forward-checking for DisCSPs.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Forward-checking
5	Cory Plock, Benjamin Goldberg, Lenore D. Zuck	From Requirements to Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
5	Alberto Manzone, Paolo Bernardi, Michelangelo Grosso, Maurizio Rebaudengo, Ernesto Sánchez 0001, Matteo Sonza Reorda	Integrating BIST Techniques for On-Line SoC Testing.	IOLTS	2005	DBLP DOI BibTeX RDF
5	Vojkan Vidojkovic, Johan van der Tang, Arjan J. Leeuwenburgh, Arthur H. M. van Roermund	Mixer topology selection for a 1.8 - 2.5 GHz multi-standard front-end in 0.18µm CMOS.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
5	S. Kaplan, Amir Pnueli	Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach.	STACS	1987	DBLP DOI BibTeX RDF