Search results for "clocks"

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