Search results for "clocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Wen-Long Chin, Sau-Gee Chen	IEEE 1588 clock synchronization using dual slave clocks in a slave.	IEEE Commun. Lett.	2009	DBLP DOI BibTeX RDF
16	Elma O'Sullivan-Greene, Iven M. Y. Mareels, Anthony N. Burkitt, Levin Kuhlmann	Observability issues in networked clocks with applications to epilepsy.	CDC	2009	DBLP DOI BibTeX RDF
16	Qingguo Xu, Huaikou Miao	Manipulating Clocks in Timed Automata Using PVS.	SNPD	2009	DBLP DOI BibTeX RDF	clock manipulation, real-time system, Timed Automata, PVS
16	Lucila Patino-Studencka, Andreas Eidloth, Jörn Thielecke	Modelling of free-running clocks for a virtually synchronized microwave locating system.	WPNC	2009	DBLP DOI BibTeX RDF
16	Alice Wang	Asimov's first law/alarm clocks.	TEI	2009	DBLP DOI BibTeX RDF
16	Xavier Défago	Causal Order, Logical Clocks, State Machine Replication.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
16	Johannes F. Knabe, Chrystopher L. Nehaniv, Maria J. Schilstra	Genetic Regulatory Network Models of Biological Clocks: Evolutionary History Matters.	Artif. Life	2008	DBLP DOI BibTeX RDF
16	Vladislav Gerginov, Svenja Knappe, Vishal Shah, Leo Hollberg, John Kitching	Laser Noise Cancellation in Single-Cell CPT Clocks.	IEEE Trans. Instrum. Meas.	2008	DBLP DOI BibTeX RDF
16	Jun Liu 0013	Scalable synchronization of clocks in wireless sensor networks.	Ad Hoc Networks	2008	DBLP DOI BibTeX RDF
16	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks	CoRR	2008	DBLP BibTeX RDF
16	Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak	Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68T30, 68T27
16	Marcin Jurdzinski, Jeremy Sproston, François Laroussinie	Model Checking Probabilistic Timed Automata with One or Two Clocks.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
16	Mehdi Alimadadi, Samad Sheikhaei, Guy Lemieux, Shahriar Mirabbasi, William G. Dunford, Patrick R. Palmer	Energy Recovery from High-Frequency Clocks Using DC-DC Converters.	ISVLSI	2008	DBLP DOI BibTeX RDF
16	David Kitchin, Evan Powell, Jayadev Misra	Simulation, Orchestration and Logical Clocks.	FM	2008	DBLP DOI BibTeX RDF
16	Thierry Grellier	Extending SystemC Clocks to Model SoC.	FDL	2008	DBLP DOI BibTeX RDF
16	Benoit Nadeau-Dostie, Kiyoshi Takeshita, Jean-Francois Cote	Power-Aware At-Speed Scan Test Methodology for Circuits with Synchronous Clocks.	ITC	2008	DBLP DOI BibTeX RDF
16	Emilia Nunzi, Lorenzo Galleani, Patrizia Tavella, Paolo Carbone	Detection of Anomalies in the Behavior of Atomic Clocks.	IEEE Trans. Instrum. Meas.	2007	DBLP DOI BibTeX RDF
16	John D. Prestage, Gregory L. Weaver	Atomic Clocks and Oscillators for Deep-Space Navigation and Radio Science.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
16	Tobias Landes	Tree clocks: An efficient and entirely dynamic logical time system.	Parallel and Distributed Computing and Networks	2007	DBLP BibTeX RDF
16	Stavros Tripakis	Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.	Runtime Verification	2007	DBLP BibTeX RDF
16	Nikolaos M. Freris, Panganamala Ramana Kumar	Fundamental limits on synchronization of affine clocks in networks.	CDC	2007	DBLP DOI BibTeX RDF
16	Steven M. LaValle, Magnus Egerstedt	On time: Clocks, chronometers, and open-loop control.	CDC	2007	DBLP DOI BibTeX RDF
16	Songyan Xu, Ratnesh Kumar 0001	Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times.	CDC	2007	DBLP DOI BibTeX RDF
16	Leslie Lamport	DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems.	DISC	2007	DBLP DOI BibTeX RDF
16	Cecilia Metra, Martin Omaña 0001, T. M. Mak, Simon Tam 0001	Novel compensation scheme for local clocks of high performance microprocessors.	ITC	2007	DBLP DOI BibTeX RDF
16	Anish Arora, Sandeep S. Kulkarni, Murat Demirbas	Resettable vector clocks.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
16	Ettore Pennestrì, Eugenio Pezzuti, Pier Paolo Valentini, Leonardo Vita	Computer-aided virtual reconstruction of Italian ancient clocks.	Comput. Animat. Virtual Worlds	2006	DBLP DOI BibTeX RDF
16	Steven Galovich	Ants, Bikes, and Clocks: Problem Solving for Undergraduates by William Briggs.	Am. Math. Mon.	2006	DBLP BibTeX RDF
16	Andrey A. Ptitsyn, Sanjin Zvonic, Steven A. Conrad, L. Keith Scott, Randall L. Mynatt, Jeffrey M. Gimble	Circadian Clocks Are Resounding in Peripheral Tissues.	PLoS Comput. Biol.	2006	DBLP DOI BibTeX RDF
16	Shengbing Jiang, Ratnesh Kumar 0001	Diagnosis of dense-time systems using digital-clocks.	ACC	2006	DBLP DOI BibTeX RDF
16	Tobias Landes	Dynamic Vector Clocks for Consistent Ordering of Events in Dynamic Distributed Applications.	PDPTA	2006	DBLP BibTeX RDF
16	Xinli Wang, Jean Mayo, Wei Gao, James Slusser	An Efficient Implementation of Vector Clocks in Dynamic Systems.	PDPTA	2006	DBLP BibTeX RDF
16	Zahi S. Abuhamdeh, Philip Pears, Jeff Remmers, Alfred L. Crouch, Bob Hannagan	Characterize Predicted vs Actual IR Drop in a Chip Using Scan Clocks.	ITC	2006	DBLP DOI BibTeX RDF
16	Michael Trinh	Achieving Global Synchrony in a Distributed System with Free-Running Local Clocks.		2006	RDF
16	Moon-Kyou Song, Min-Han Kong	An Adaptive Reed-Solomon Decoder Using Separate Clocks in the Pipelined Steps.	IEICE Trans. Commun.	2005	DBLP DOI BibTeX RDF
16	Andrew J. Millar	Biological clocks in theory and experiments.	BMC Bioinform.	2005	DBLP DOI BibTeX RDF
16	Pietro Babighian, Luca Benini, Enrico Macii	A scalable algorithm for RTL insertion of gated clocks based on ODCs computation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
16	Robert Uzal, Daniel Riesco, German Montejano, Gabriel Vilallonga, Narayan C. Debnath	Formalization of petri nets with clocks.	J. Comput. Methods Sci. Eng.	2005	DBLP DOI BibTeX RDF
16	William L. Briggs	Ants, bikes, and clocks - problem solving for undergraduates.		2005	DOI RDF
16	Hyeonmin Lim, Kyungsoo Lee, Youngjin Cho, Naehyuck Chang	Flip-flop insertion with shifted-phase clocks for FPGA power reduction.	ICCAD	2005	DBLP DOI BibTeX RDF
16	Burton J. Smith	System Balance and Fast Clocks.	SC	2005	DBLP DOI BibTeX RDF
16	David Macii, Patrizia Tavella, Elena Perone, Paolo Carbone, Dario Petri	Accuracy comparison between techniques for the establishment of calibration intervals: application to atomic clocks.	IEEE Trans. Instrum. Meas.	2004	DBLP DOI BibTeX RDF
16	Takao Yamashita, Satoshi Ono	A Statistical Time Synchronization Method for Frequency-Synchronized Network Clocks in Distributed Systems.	IEICE Trans. Inf. Syst.	2004	DBLP BibTeX RDF
16	Shilpa Bansod, Jean Mayo	A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks.	Stud. Inform. Univ.	2004	DBLP BibTeX RDF
16	Danjue Li, Gene Cheung, Chen-Nee Chuah, S. J. Ben Yoo	Joint server/peer receiver-driven rate-distortion optimized video streaming using asynchronous clocks.	ICIP	2004	DBLP DOI BibTeX RDF
16	Moon Kyou Song, Min Han Kong, Hee Sun Won	A variable Reed-Solomon decoder using separate clocks in its pipelined steps.	PIMRC	2004	DBLP DOI BibTeX RDF
16	Lennart Meier, Philipp Blum, Lothar Thiele	Internal synchronization of drift-constraint clocks in ad-hoc sensor networks.	MobiHoc	2004	DBLP DOI BibTeX RDF	sensor networks, delay, time synchronization, clock drift
16	Pietro Babighian, Luca Benini, Enrico Macii	A Scalable ODC-Based Algorithm for RTL Insertion of Gated Clocks.	DATE	2004	DBLP DOI BibTeX RDF
16	Hamid Shafiee, Behzad Nourani, M. Khoshgard	Estimation and compensation of frequency offset in DAC/ADC clocks in OFDM systems.	ICC	2004	DBLP DOI BibTeX RDF
16	Xinli Wang, Jean Mayo	A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks.	PDCS	2004	DBLP BibTeX RDF
16	Hongliang Yu, Jian Liu, Weimin Zheng, Meiming Shen	Event Chain Clocks for Performance Debugging in Parallel and Distributed Systems.	ISPA	2004	DBLP DOI BibTeX RDF
16	Manan Syal, Michael S. Hsiao, Sreejit Chakravarty	Identifying Untestable Transition Faults in Latch Based Designs with Multiple Clocks.	ITC	2004	DBLP DOI BibTeX RDF
16	Darryl Veitch, Satish Babu Korada, Attila Pásztor	Robust synchronization of software clocks across the internet.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	software clock, synchronization, timing, GPS, network measurement, round-trip time, NTP
16	Lúcia M. A. Drummond, Valmir Carneiro Barbosa	On reducing the complexity of matrix clocks.	Parallel Comput.	2003	DBLP DOI BibTeX RDF
16	Dominik Janzing, Thomas Beth	Quasi-order of clocks and their synchronism and quantum bounds for copying timing information.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
16	Lúcia M. A. Drummond, Valmir Carneiro Barbosa	On reducing the complexity of matrix clocks	CoRR	2003	DBLP BibTeX RDF
16	Juan Antonio de la Puente, Juan Zamorano	Execution-time clocks and Ravenscar kernels.	IRTAW	2003	DBLP DOI BibTeX RDF
16	Haihua Yan, Adit D. Singh	Experiments in Detecting Delay Faults using Multiple Higher Frequency Clocks and Results from Neighboring Die.	ITC	2003	DBLP DOI BibTeX RDF
16	Gong-Ru Lin	A novel frequency discriminated phase controller for high-speed optical clocks generated from laser diodes.	IEEE Trans. Instrum. Meas.	2002	DBLP DOI BibTeX RDF
16	Shinichi Noda, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki	High-Level Area/Delay/Power Estimation for Low Power System VLSIs with Gated Clocks.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2002	DBLP BibTeX RDF
16	Sibsankar Haldar, Paul M. B. Vitányi	Bounded concurrent timestamp systems using vector clocks.	J. ACM	2002	DBLP DOI BibTeX RDF	Concurrent reading while writing, labeling and scan, nonatomic operation execution, operation execution, operation-read and write, regular and atomic, shared variable-safe, timestamp system, traceability, label, wait-freedom, vector clock
16	Daniel B. Forger, Richard E. Kronauer	Reconciling Mathematical Models of Biological Clocks by Averaging on Approximate Manifolds.	SIAM J. Appl. Math.	2002	DBLP DOI BibTeX RDF
16	Christof Fetzer, Michel Raynal	Approximate Real-Time Clocks for Scheduled Events.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Approximate time, real-time consistency, adaptation, real-time, leader election, virtual time
16	Shilpa Bansod, Jean Mayo	A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks.	OPODIS	2002	DBLP BibTeX RDF
16	Harold W. Cain, Mikko H. Lipasti	Verifying sequential consistency using vector clocks.	SPAA	2002	DBLP DOI BibTeX RDF
16	Dorin Emil Calbaza, Yvon Savaria	Direct digital frequency synthesis of low-jitter clocks.	IEEE J. Solid State Circuits	2001	DBLP DOI BibTeX RDF
16	Jean-Louis Dornstetter, Daniel Krob, Michel Morvan, Laurent Viennot	Some Algorithms for Synchronizing Clocks of Base Transceiver Stations in a Cellular Network.	J. Parallel Distributed Comput.	2001	DBLP DOI BibTeX RDF
16	Sibsankar Haldar, Paul M. B. Vitányi	Bounded Concurrent Timestamp Systems Using Vector Clocks	CoRR	2001	DBLP BibTeX RDF
16	Kim J. Vicente	Crazy Clocks: Counterintuitive Consequences of "Intelligent" Automation.	IEEE Intell. Syst.	2001	DBLP DOI BibTeX RDF
16	Ted Herman	Phase Clocks for Transient Fault Repair	CoRR	2000	DBLP BibTeX RDF
16	Seonki Kim, Bapiraju Vinnakota	Fast Test Application Technique Without Fast Scan Clocks.	ICCAD	2000	DBLP DOI BibTeX RDF
16	Dorin Emil Calbaza, Yvon Savaria	Direct digital frequency synthesis of low-jitter clocks.	CICC	2000	DBLP DOI BibTeX RDF
16	Simon W. Moore, George S. Taylor, Paul A. Cunningham, Robert D. Mullins, Peter Robinson 0001	Self-Calibrating Clocks for Globally Asynchronous Locally Synchronous Systems.	ICCD	2000	DBLP DOI BibTeX RDF
16	Jean-François Raskin, Pierre-Yves Schobbens	The Logic of Event Clocks - Decidability, Complexity and Expressiveness.	J. Autom. Lang. Comb.	1999	DBLP DOI BibTeX RDF
16	Chuchang Liu, Mehmet A. Orgun	Verification of Reactive Systems Using Temporal Logic with Clocks.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
16	Wentong Cai 0001, Kang Zhang 0001, Stephen John Turner, Chengzheng Sun	Interlock avoidance in transparent and dynamic parallel program instrumentation using logical clocks.	Parallel Comput.	1999	DBLP DOI BibTeX RDF
16	Weijia Jia 0001, Jiannong Cao 0001, To-Yat Cheung, Xiaohua Jia	A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks.	Comput. J.	1999	DBLP DOI BibTeX RDF
16	Jongchul Shin, Hyunjin Kim, Sungho Kang 0001	At-Speed Boundary-Scan Interconnect Testing in a Board with Multiple System Clocks.	DATE	1999	DBLP DOI BibTeX RDF
16	Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin	Using Lamport Clocks to Reason about Relaxed Memory Models.	HPCA	1999	DBLP DOI BibTeX RDF
16	Michel Raynal	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Rafail Ostrovsky, Boaz Patt-Shamir	Optimal and Efficient Clock Synchronization Under Drifting Clocks.	PODC	1999	DBLP DOI BibTeX RDF
16	Michel Raynal	Simple Vector Clocks are limited to Solve some Causallity Related Problems.	OPODIS	1999	DBLP BibTeX RDF
16	Achour Mostéfaoui, Michel Raynal, Makoto Takizawa 0001	Logical Clocks for Unreliable Process Groups.	PDPTA	1999	DBLP BibTeX RDF
16	Cecilia Metra, Flavio Giovanelli, Mani Soma, Bruno Riccò	Self-checking scheme for very fast clocks' skew correction.	ITC	1999	DBLP DOI BibTeX RDF
16	Nithya Raghavan, Venkatesh Akella, Smita Bakshi	Automatic Insertion of Gated Clocks at Register Transfer Level.	VLSI Design	1999	DBLP DOI BibTeX RDF
16	Candida Attanasio, Flavio Corradini, Paola Inverardi	Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.	FASE	1999	DBLP DOI BibTeX RDF
16	Rita V. Rodríguez, Frank D. Anger	Using Constraint Propagation to Reason about Unsynchronized Clocks.	Constraints An Int. J.	1998	DBLP DOI BibTeX RDF
16	Matthias Mutz	Register Transfer Level VHDL Models without Clocks.	DATE	1998	DBLP DOI BibTeX RDF	VHDL RT subset, register transfer level models
16	Mark A. Smith	Reliable Message Delivery and Conditionally-Fast Transactions are not Possible Without Accurate Clocks.	PODC	1998	DBLP DOI BibTeX RDF
16	Joel Grodstein, Nick Rethman, Nevine Nassif	Static race verification for networks with reconvergent clocks.	ICCD	1998	DBLP DOI BibTeX RDF
16	Takao Yamashita, Satoshi Ono	A Statistical Method for Time Synchronization of Computer Clocks with Precisely Frequency-Synchronized Oscillators.	ICDCS	1998	DBLP DOI BibTeX RDF
16	Kang Zhang 0001, Chengzheng Sun, Kei-Chun Li	Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks.	HPDC	1998	DBLP DOI BibTeX RDF
16	Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill	Lamport Clocks: Verifying a Directory Cache-Coherence Protocol.	SPAA	1998	DBLP DOI BibTeX RDF
16	Li-Hsing Yen, Ting-Lu Huang	Resetting Vector Clocks in Distributed Systems.	J. Parallel Distributed Comput.	1997	DBLP DOI BibTeX RDF
16	Michele Favalli, Cecilia Metra	Testing scheme for IC's clocks.	ED&TC	1997	DBLP DOI BibTeX RDF
16	Amal El-Nahas, Khalil M. Ahmed, Mohamed G. Gouda	Flow scheduling protocols without real-time clocks.	ISCC	1997	DBLP DOI BibTeX RDF
16	Atul Adya, Barbara Liskov	Lazy Consistency Using Loosely Synchronized Clocks.	PODC	1997	DBLP DOI BibTeX RDF
16	Donald T. Davis, Daniel E. Geer Jr.	Kerberos with Clocks Adrift: History, Protocols, and Implementation.	Comput. Syst.	1996	DBLP BibTeX RDF
16	Qiuting Huang, Robert Rogenmoser	Speed optimization of edge-triggered CMOS circuits for gigahertz single-phase clocks.	IEEE J. Solid State Circuits	1996	DBLP DOI BibTeX RDF
16	Marco Carbonelli, Domenico De Seta, Daniele Perucchini	Characterization of timing signals and clocks.	Eur. Trans. Telecommun.	1996	DBLP DOI BibTeX RDF