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 |
|