Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Ralph Urbansky, Wolfram Sturm |
Design aspects and analysis of SDH equipment clocks. |
Eur. Trans. Telecommun. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Christos Bouras, Paul G. Spirakis |
Performance Modeling of Distributed Timestamp Ordering: Perfect and Imperfect Clocks. |
Perform. Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami |
Mobile Processes with Local Clocks. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Weijia Jia 0001, Jiannong Cao 0001, To-Yat Cheung |
A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. |
ICPP, Vol. 1 |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Christos A. Papachristou, Mark Spining, Mehrdad Nourani |
An Effective Power Management Scheme for RTL Design Based on Multiple Clocks. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ted Herman, Sukumar Ghosh |
Stabilizing Phase-Clocks. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | David L. Mills |
Improved algorithms for synchronizing computer network clocks. |
IEEE/ACM Trans. Netw. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Shimon Even, Sergio Rajsbaum |
Unison, Canon, and Sluggish Clocks in Networks Controlled by a Synchronizer. |
Math. Syst. Theory |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jean Mayo, Phil Kearns |
Efficient Distributed Termination Detection with Roughly Synchronized Clocks. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
16 | James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon |
An Invariant Based Approach to the Design of Hybrid Control Systems Containing Clocks. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Don Davis, Daniel E. Geer Jr. |
Kerberos Security with Clocks Adrift. |
USENIX Security Symposium |
1995 |
DBLP BibTeX RDF |
|
16 | Richard Andrew, Seraphim Poriazis |
Design of Synchronous Circuits with Multiple Clocks. |
ISCAS |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Raphael Yahalom |
Secure Timeliness: On the Cost of Non-Synchronized Clocks. |
Comput. Syst. |
1994 |
DBLP BibTeX RDF |
|
16 | Jean Mayo, Phil Kearns |
Distributed Termination Detection with Roughly Synchronized Clocks. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | David L. Mills |
Precision synchronization of computer network clocks. |
Comput. Commun. Rev. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Luca Benini, Polly Siegel, Giovanni De Micheli |
Saving Power by Synthesizing Gated Clocks for Sequential Circuits. |
IEEE Des. Test Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Luk Levrouw, Koenraad M. R. Audenaert, Jan M. Van Campenhout |
A New Trace And Replay System For Shared Memory Programs Based On Lamport Clocks. |
PDP |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Prasanti Uppaluri, Irith Pomeranz, Sudhakar M. Reddy |
Test Pattern Generation for Path Delay Faults in Synchronous Sequential Circuits Using Multiple Fast Clocks and Multiple Observations Times. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | D. Kwan, F. Chin |
Practical Distributed Garbage Collection for Networks with Synchronous Clocks and Message Delay. |
ICPADS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Yoram Moses, Ben Bloom |
Knowledge, Timed Precedence and Clocks (Preliminary Report). |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Ciuffoletti |
Using Simple Diffusion to Synchronize the Clocks in a Distributed System. |
ICDCS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Soo Young Lee, Kewal K. Saluja |
Sequential test generation with reduced test clocks for partial scan designs. |
VTS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ernst W. Biersack, David C. Feldmeier |
A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification. |
Comput. Networks ISDN Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Barbara Liskov |
Practical Uses of Synchronized Clocks in Distributed Systems. |
Distributed Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Christos Bouras, Paul G. Spirakis |
Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases. |
MASCOTS |
1993 |
DBLP BibTeX RDF |
|
16 | Ichiro Satoh, Mario Tokoro |
A Timed Calculus for Distributed Objects with Clocks. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Alexander T. Ishii |
Retiming gated-clocks and precharged circuit structures. |
ICCAD |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Soma Chaudhuri, Rainer Gawlick, Nancy A. Lynch |
Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. |
PODC |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Christos Bouras, Paul G. Spirakis |
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
16 | Qiuting Huang |
Speed Optimization of Edge-Triggered Nine-Transistor D-Flip-Flops for Gigahertz Single-Phase Clocks. |
ISCAS |
1993 |
DBLP BibTeX RDF |
|
16 | Mukesh Singhal, Ajay D. Kshemkalyani |
An Efficient Implementation of Vector Clocks. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Noshir R. Dhondy, Richard J. Schmalz, Ronald M. Smith Sr., Julian Thomas, Phil C. Yeh |
Coordination of time-of-day clocks among multiple systems. |
IBM J. Res. Dev. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Paul Caspi |
Clocks in Dataflow Languages. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Ildikó Sain |
Temporal Logics Need Their Clocks. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Li Gong |
A Security Risk of Depending on Synchronized Clocks. |
ACM SIGOPS Oper. Syst. Rev. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Michel Raynal |
About Logical Clocks for Distributed Systems. |
ACM SIGOPS Oper. Syst. Rev. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Thomas A. Henzinger, Zohar Manna, Amir Pnueli |
What Good Are Digital Clocks? |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Reino Kurki-Suonio |
Hybrid Models with Fairness and Distributed Clocks. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Farhad Aghadasi |
Asynchronous state machine synthesis using data driven clocks. |
EURO-DAC |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Glenn Jennings |
On cycle borrowing analyses for interconnected chips driven by clocks having different but commensurable speeds. |
ASAP |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Bernadette Charron-Bost |
Concerning the Size of Logical Clocks in Distributed Systems. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Anish Arora, Shlomi Dolev, Mohamed G. Gouda |
Maintaining Digital Clocks in Step. |
Parallel Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Joseph H. Taylor |
Millisecond pulsars: nature's most stable clocks. |
Proc. IEEE |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Sampath Rangarajan, Satish K. Tripathi |
Efficient synchronization of clocks in a distributed system. |
RTSS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Barbara Liskov |
Practical Uses of Synchronized Clocks in Distributed Systems. |
PODC |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Leslie Lamport |
Concurrent Reading and Writing of Clocks. |
ACM Trans. Comput. Syst. |
1990 |
DBLP DOI BibTeX RDF |
nonatomic operations, synchronization, concurrent programming |
16 | David L. Mills |
On the Accuracy and Stablility of Clocks Synchronized by the Network Time Protocol in the Internet System. |
Comput. Commun. Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Kamran Kiasaleh, William C. Lindsey |
Time and frequency transfer between master and slave clocks. |
IEEE Trans. Commun. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Harry T. M. Wang |
Subcompact hydrogen maser atomic clocks. |
Proc. IEEE |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Nagesh Vasanthavada, Philip Thambidurai, Peter N. Marinos |
Design of fault-tolerant clocks with realistic failure assumptions. |
FTCS |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg |
LOTOS Extended with Clocks. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
16 | Barbara Liskov, Liuba Shrira, John Wroclawski |
Efficient at-most-once messages based on synchronized clocks. |
WWOS |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas F. Maxemchuk |
Distributed clocks in slotted networks. |
INFOCOM |
1988 |
DBLP DOI BibTeX RDF |
|
16 | C. Mani Krishna 0001, Inderpal S. Bhandari |
On the Graceful Degradation of Phase-Locked Clocks. |
RTSS |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Michel Raynal |
A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Gernot Richter |
Clocks and their use for time modeling. |
Trends in Information Systems |
1986 |
DBLP BibTeX RDF |
|
16 | Alan C. Shaw |
Software Clocks, Concurrent Programming, and Slice-Based Scheduling. |
RTSS |
1986 |
DBLP BibTeX RDF |
|
16 | David L. Mills |
Algorithms for synchronizing network clocks. |
RFC |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Mart L. Molle, Leonard Kleinrock |
Virtual Time CSMA: Why Two Clocks Are Better than One. |
IEEE Trans. Commun. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Milena Didic, Gernot Richter |
Time & Clocks & Task Management. |
PNPM |
1985 |
DBLP BibTeX RDF |
|
16 | Gernot Richter |
Clocks and their Use for Time Modeling. |
TFAIS |
1985 |
DBLP BibTeX RDF |
|
16 | James L. Massey, Rainer A. Rueppel |
Linear Ciphers and Random Sequence Generators with Multiple Clocks. |
EUROCRYPT |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Leslie Lamport |
Time, Clocks, and the Ordering of Events in a Distributed System. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Stephen S. Yau |
Autonomous Clocks in Sequential Machines. |
IEEE Trans. Electron. Comput. |
1965 |
DBLP DOI BibTeX RDF |
|
16 | Juris Hartmanis |
Maximal Autonomous Clocks of Sequential Machines. |
IRE Trans. Electron. Comput. |
1962 |
DBLP DOI BibTeX RDF |
|
8 | Huandong Wang, Xiang Gao, Yunji Chen, Dan Tang, Weiwu Hu |
A multi-FPGA based platform for emulating a 100m-transistor-scale processor with high-speed peripherals (abstract only). |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
loongson, multi-fpga, fpga, evaluation, verification, emulation |
8 | Joel C. Adams, Daniel J. Ernst, Thomas Murphy, Ariel Ortiz |
Multicore education: pieces of the parallel puzzle. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
parallel, concurrency, training, programming, curriculum, languages, multi-core, workshops, many-core, faculty |
8 | Christopher Bissell |
A History of Automatic Control. |
Handbook of Automation |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yuriy S. Shmaliy |
An unbiased p-step predictive FIR filter for a class of noise-free discrete-time models with independently observed states. |
Signal Image Video Process. |
2009 |
DBLP DOI BibTeX RDF |
Predictive finite impulse response (FIR) filter, Noise power gain, Synchronization, State estimation |
8 | François Guerrin |
Dynamic simulation of action at operations level. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Activity representation, Hybrid dynamical system, Temporal logic, Situated action, Operations management |
8 | Majid Khabbazian, Hugues Mercier, Vijay K. Bhargava |
Severity analysis and countermeasure for the wormhole attack in wireless ad hoc networks. |
IEEE Trans. Wirel. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Didier Lime, Olivier H. Roux |
Formal verification of real-time systems with preemptive scheduling. |
Real Time Syst. |
2009 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata |
8 | 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 |
8 | Björn Scheuermann 0001, Wolfgang Kiess, Magnus Roos, Florian Jarre, Martin Mauve |
On the time synchronization of distributed log files in networks with local broadcast media. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
offline time synchronization, synchronization, experiments, timestamps, broadcast channels |
8 | Pai-Han Huang, Maulik Desai, Xiaofan Qiu, Bhaskar Krishnamachari |
On the Multihop Performance of Synchronization Mechanisms in High Propagation Delay Networks. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Achour Mostéfaoui, Michel Raynal, Gilles Trédan |
On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System. |
IEEE Trans. Parallel Distributed Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ting Zhou, Hamid Sharif, Michael Hempel, Puttipong Mahasukhon, Wei Wang 0015, Hsiao-Hwa Chen |
Performance Study of a Mobile Multi-hop 802.11a/b Railway Network Using Passive Measurement. |
Mob. Networks Appl. |
2009 |
DBLP DOI BibTeX RDF |
802.11a/b, mobility, wireless LAN, finite state machine, cross-layer optimization, multi-hop network |
8 | Sanad Bushnaq, Toru Nakura, Makoto Ikeda, Kunihiro Asada |
All digital baseband 50 Mbps data recovery using 5× oversampling with 0.9 data unit interval clock jitter tolerance. |
DDECS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Tsung-Han Tsai 0001, Chung-Yuan Lin, De-Zhang Peng, Giua-Hua Chen |
Design and Integration for Background Subtraction and Foreground Tracking Algorithm. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Thomas Polzer, Thomas Handl, Andreas Steininger |
A Metastability-Free Multi-synchronous Communication Scheme for SoCs. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Goran A. Lynch, Jonathan E. Clark, Daniel E. Koditschek |
A self-exciting controller for high-speed vertical running. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Paul Teehan, Guy G. Lemieux, Mark R. Greenstreet |
Towards reliable 5Gbps wave-pipelined and 3Gbps surfing interconnect in 65nm FPGAs. |
FPGA |
2009 |
DBLP DOI BibTeX RDF |
on-chip serdes, fpga, reliable, network-on-chip, interconnect, programmable, wave pipelining, bit-serial, surfing |
8 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. |
FM |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application |
8 | Ereth McKnight-MacNeil, Thomas Kunz |
Behavior of clock-sampling mutual network synchronization in wireless sensor networks. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
security, stability, convergence, wireless ad hoc networks, time synchronization |
8 | Takashi Kawamoto, Masaru Kokubo |
A low-jitter 1.5-GHz and large-EMI reduction 10-dBm spread-spectrum clock generator for Serial-ATA. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Rupesh S. Shelar |
An algorithm for routing with capacitance/distance constraints for clock distribution in microprocessors. |
ISPD |
2009 |
DBLP DOI BibTeX RDF |
routing, power, clock distribution |
8 | Shengbing Jiang, Ratnesh Kumar 0001 |
Prevention of Sequential Message Loss in CAN Systems. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma |
Concurrent SSA for general barrier-synchronized parallel programs. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Sutirtha Sanyal, Sourav Roy, Adrián Cristal, Osman S. Unsal, Mateo Valero |
Clock gate on abort: Towards energy-efficient hardware Transactional Memory. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Dhadesugoor R. Vaman, Ashwin Ashok |
An Efficient Distributed Synchronization Method for TD/CDMA based Mobile Ad Hoc Networks. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
Compositional timing analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
compositional generation, abstraction, timed automata, reachability analysis |
8 | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
Modeling synchronous systems in BIP. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre |
8 | James Smaldon, Natalio Krasnogor, Cameron Alexander, Marian Gheorghe 0001 |
Liposome logic. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
dissipative particle dynamics, gpu computing, liposome, systems biology, cuda, synthetic biology, biomolecular computing |
8 | Hyuntae Cho, Jeonsu Jung, Bongrae Cho, Youngwoo Jin, Seungwoo Lee, Yunju Baek |
Precision Time Synchronization Using IEEE 1588 for Wireless Sensor Networks. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alptekin Küpçü, Anna Lysyanskaya |
Brief announcement: impossibility results for optimistic fair exchange with multiple autonomous arbiters. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
distributed arbiters, optimistic fair exchange, trusted third party |
8 | Fabian Kuhn, Rotem Oshman |
Gradient Clock Synchronization Using Reference Broadcasts. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
Gradient Clock Synchronization, Wireless Networks |
8 | Jui-Hao Chiang, Tzi-cker Chiueh |
Accurate Clock Synchronization for IEEE 802.11-Based Multi-Hop Wireless Networks. |
ICNP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yifei Luo, Gang Chen, Kuan Zhou |
A picosecond TDC architecture for multiphase PLLs. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
time-to-digital converter, vdl, vernier delay line, PLL, soi, tdc |
8 | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 |
Concavely-Priced Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Nicola Armstrong, Chris D. Nugent, George Moore, Dewar D. Finlay |
Mapping User Needs to Smartphone Services for Persons with Chronic Disease. |
ICOST |
2009 |
DBLP DOI BibTeX RDF |
Alzheimer’s disease (AD), Mobile phone, Assistive technology, Independent living |