Search results for "clocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky	Clocks for Functional Programs.	The Beauty of Functional Code	2013	DBLP DOI BibTeX RDF
16	Kumar Padmanabh, Amit Gupta, Purnendu Sinha	An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems.	ICDCIT	2013	DBLP DOI BibTeX RDF
16	Adnan Bouakaz, Jean-Pierre Talpin	Design of safety-critical Java level 1 applications using affine abstract clocks.	M-SCOPES	2013	DBLP DOI BibTeX RDF
16	Conrad Lee, Bobo Nick, Ulrik Brandes, Pádraig Cunningham	Link prediction with social vector clocks.	KDD	2013	DBLP DOI BibTeX RDF
16	Dilawaer Doulikun, Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa 0001	Group Communication Protocols Based on Hybrid Types of Logical and Physical Clocks.	BWCCA	2013	DBLP DOI BibTeX RDF
16	Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet	Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.	ICTERI	2013	DBLP BibTeX RDF
16	David Ruffieux, Nicola Scolari, Frédéric Giroud, Thanh-Chau Le, Silvio Dalla Piazza, Felix Staub, Kai Zoschke, Charles Alix Manier, Hermann Oppermann, James Dekker, Tommi Suni, Giorgio Allegato	A versatile timing microsystem based on wafer-level packaged XTAL/BAW resonators with sub-µW RTC mode and programmable HF clocks.	ISSCC	2013	DBLP DOI BibTeX RDF
16	Eoin O'Connell, Brendan O'Flynn, David Boyle 0001	Clocks, latency and energy efficiency in duty cycled, multi-hop Wireless Sensor Networks.	IWASI	2013	DBLP DOI BibTeX RDF
16	Zdenek Chaloupka, Nayef Alsindi, James Aweya	Efficient and precise simulation model of synchronization clocks in packet networks.	CAMAD	2013	DBLP DOI BibTeX RDF
16	Niv Buchbinder, Joseph Naor, Roy Schwartz 0002	Simplex partitioning via exponential clocks and the multiway cut problem.	STOC	2013	DBLP DOI BibTeX RDF
16	Jiaqing Du, Sameh Elnikety, Amitabha Roy 0002, Willy Zwaenepoel	Orbe: scalable causal consistency using dependency matrices and physical clocks.	SoCC	2013	DBLP DOI BibTeX RDF
16	Robert Hoettger, Burkhard Igel, Erik Kamsties	A novel partitioning and tracing approach for distributed systems based on vector clocks.	IDAACS	2013	DBLP DOI BibTeX RDF
16	Marco Muñiz, Bernd Westphal, Andreas Podelski	Detecting Quasi-equal Clocks in Timed Automata.	FORMATS	2013	DBLP DOI BibTeX RDF
16	Jiaqing Du, Sameh Elnikety, Willy Zwaenepoel	Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks.	SRDS	2013	DBLP DOI BibTeX RDF
16	Catalin Dima, Ruggero Lanotte	A study on shuffle, stopwatches and independently evolving clocks.	Distributed Comput.	2012	DBLP DOI BibTeX RDF
16	Przemyslaw Perlikowski, M. Kapitaniak, Krzysztof Czolczynski, Andrzej Stefanski, Tomasz Kapitaniak	Chaos in Coupled Clocks.	Int. J. Bifurc. Chaos	2012	DBLP DOI BibTeX RDF
16	Hayang Kim, Xiaoli Ma, Benjamin R. Hamilton	Tracking Low-Precision Clocks With Time-Varying Drifts Using Kalman Filtering.	IEEE/ACM Trans. Netw.	2012	DBLP DOI BibTeX RDF
16	Michael Mullan, Emanuel Knill	Improving quantum clocks via semidefinite programming.	Quantum Inf. Comput.	2012	DBLP DOI BibTeX RDF
16	Michael A. Lombardi	The evolution of time measurement, Part 5: radio controlled clocks [Recalibration].	IEEE Instrum. Meas. Mag.	2012	DBLP DOI BibTeX RDF
16	Haifeng Qian, Phillip J. Restle, Joseph N. Kozhaya, Clifford L. Gunion	Subtractive Router for Tree-Driven-Grid Clocks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2012	DBLP DOI BibTeX RDF
16	Ailixier Aikebaier, Makoto Takizawa 0001, Isamu Tsuneizumi, Makoto Ikeda, Tomoya Enokido	A multi-layered model for scalable group communication with hybrid clocks.	Int. J. Pervasive Comput. Commun.	2012	DBLP DOI BibTeX RDF
16	Yue Mao, Jianpeng Chen, Wei Dai, Xiaolin Jia	Analysis of error sources on orbital atomic clocks' stability.	Geo spatial Inf. Sci.	2012	DBLP DOI BibTeX RDF
16	Christian Bodenstein, Marko Gosak, Stefan Schuster, Marko Marhl, Matjaz Perc	Modeling the Seasonal Adaptation of Circadian Clocks by Changes in the Network Structure of the Suprachiasmatic Nucleus.	PLoS Comput. Biol.	2012	DBLP DOI BibTeX RDF
16	Louis Mandel, Florence Plateau	Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n.	MPC	2012	DBLP DOI BibTeX RDF
16	Abdoulaye Gamatié	Design of streaming applications on MPSoCs using abstract clocks.	DATE	2012	DBLP DOI BibTeX RDF
16	Peter Philipp, Simon Altmannshofer	Experimental validation of a new moving horizon estimator approach for networked control systems with unsynchronized clocks.	ACC	2012	DBLP DOI BibTeX RDF
16	P. R. Kumar 0001	Three theories for delays, clocks and security in wireless networks.	MobiCom	2012	DBLP DOI BibTeX RDF
16	Spela Vintar, Darja Fiser, Aljosa Vrscaj	Were the clocks striking or surprising? Using WSD to improve MT performance.	ESIRMT/HyTra@EACL	2012	DBLP BibTeX RDF
16	Peter Philipp	Observability of nonlinear NCS with unsynchronized sensor clocks.	CDC	2012	DBLP DOI BibTeX RDF
16	Amir Rahmati, Mastooreh Salajegheh, Daniel E. Holcomb, Jacob Sorber, Wayne P. Burleson, Kevin Fu	TARDIS: Time and Remanence Decay in SRAM to Implement Secure Protocols on Embedded Devices without Clocks.	USENIX Security Symposium	2012	DBLP BibTeX RDF
16	Dilawaer Duolikun, Makoto Takizawa 0001	Communication Protocols in Layered Groups with Heterogeneous Clocks.	BWCCA	2012	DBLP DOI BibTeX RDF
16	Nico F. de Rooij, Sebastian Gautsch, Terunobu Akiyama, Frédéric Loizeau, Gaetano Mileti, Yves Petremand, U. Staufer, Rahel Straessle, Genki Yoshikawa	NEMS based tools for nanoscience and atomic clocks.	NEMS	2012	DBLP DOI BibTeX RDF
16	Dongmin Yoon, Dennis Sylvester, David T. Blaauw	A 5.58nW 32.768kHz DLL-assisted XO for real-time clocks in wireless sensing applications.	ISSCC	2012	DBLP DOI BibTeX RDF
16	Sandie Balaguer, Thomas Chatain	Avoiding Shared Clocks in Networks of Timed Automata.	CONCUR	2012	DBLP DOI BibTeX RDF
16	Christoph P. Neumann, Andreas M. Wahl, Richard Lenz	Adaptive Version Clocks and the OffSync Protocol.	ISPA	2012	DBLP DOI BibTeX RDF
16	Rosilde Corvino, Abdoulaye Gamatié	Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs.	ISPA	2012	DBLP DOI BibTeX RDF
16	Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski	Reducing Quasi-Equal Clocks in Networks of Timed Automata.	FORMATS	2012	DBLP DOI BibTeX RDF
16	Junbo Shi	Precise Point Positioning Integer Ambiguity Resolution with Decoupled Clocks.		2012	RDF
16	Isamu Tsuneizumi, Ailixier Aikebaier, Makoto Ikeda, Tomoya Enokido, Makoto Takizawa 0001	A scalable group communication protocol with hybrid clocks.	Concurr. Comput. Pract. Exp.	2011	DBLP DOI BibTeX RDF
16	Michel Ouellette, Kuiwen Ji, Song Liu, Han Li	Using IEEE 1588 and boundary clocks for clock synchronization in telecom networks.	IEEE Commun. Mag.	2011	DBLP DOI BibTeX RDF
16	Martin Omaña 0001, Cecilia Metra, T. M. Mak, Simon Tam 0001	Low-Cost Dynamic Compensation Scheme for Local Clocks of Next Generation High Performance Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2011	DBLP DOI BibTeX RDF
16	Augusto Ciuffoletti	Preventing the Collision of Requests From Slave Clocks in the Precision Time Protocol (PTP).	IEEE Trans. Instrum. Meas.	2011	DBLP DOI BibTeX RDF
16	Thomas Hinze, Christian Bodenstein, Ines Heiland, Stefan Schuster	Capturing Biological Frequency Control of Circadian Clocks by Reaction System Modularization.	ERCIM News	2011	DBLP BibTeX RDF
16	Nikolaos M. Freris, Scott R. Graham, P. R. Kumar 0001	Fundamental Limits on Synchronizing Clocks Over Networks.	IEEE Trans. Autom. Control.	2011	DBLP DOI BibTeX RDF
16	Michael A. Lombardi	The evolution of time measurement, part 3: atomic clocks [Recalibration].	IEEE Instrum. Meas. Mag.	2011	DBLP DOI BibTeX RDF
16	Antonio Fernández Anta, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martínez-Romo, Alberto Mozo, Christopher Thraves	Performance of Scheduling Policies in Adversarial Networks with Non-synchronized Clocks.	Theory Comput. Syst.	2011	DBLP DOI BibTeX RDF
16	Md. Jahoor Alam, Latika Bhayana, Gurumayum Reenaroy Devi, Heisnam Dinachandra Singh, R. K. Brojen Singh, B. Indrajit Sharma	Measurement of phase synchrony of coupled segmentation clocks.	Comput. Biol. Medicine	2011	DBLP DOI BibTeX RDF
16	Xiaowan Huang, Anu Singh, Scott A. Smolka	Using integer clocks to verify clock-synchronization protocols.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
16	Bart Vermeulen, Kees Goossens	Interactive Debug of SoCs with Multiple Clocks.	IEEE Des. Test Comput.	2011	DBLP DOI BibTeX RDF
16	Sicco Verwer, Mathijs de Weerdt, Cees Witteveen	The efficiency of identifying timed automata and the power of clocks.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
16	Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz 0001, Greg Bronevetsky	Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.	PACT	2011	DBLP DOI BibTeX RDF
16	Sangyoon Lee, Ajay D. Kshemkalyani, Min Shen	Performance Evaluation of Incremental Vector Clocks.	ISPDC	2011	DBLP DOI BibTeX RDF
16	Mike Gemünde, Jens Brandt 0001, Klaus Schneider 0001	Causality analysis of synchronous programs with refined clocks.	HLDVT	2011	DBLP DOI BibTeX RDF
16	Ruggero Carli, Edoardo D'Elia, Sandro Zampieri	A PI controller based on asymmetric gossip communications for clocks synchronization in wireless sensors networks.	CDC/ECC	2011	DBLP DOI BibTeX RDF
16	Rahul Singh 0001, Vijay Gupta 0001	On LQR control with asynchronous clocks.	CDC/ECC	2011	DBLP DOI BibTeX RDF
16	Weiguo Xia, Ming Cao 0001	Synchronizing clocks in distributed networks.	CDC/ECC	2011	DBLP DOI BibTeX RDF
16	Chu-Hsing Lin, Guan-Han Chen, Shih-Pei Chien	Energy Consumption Analysis for Cryptographic Algorithms with Different Clocks on Smart Cards in Mobile Devices.	BWCCA	2011	DBLP DOI BibTeX RDF
16	Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä	Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.	ACSD	2011	DBLP DOI BibTeX RDF
16	Daniele Romano, Martin Pinzger 0001	Using vector clocks to monitor dependencies among services at runtime.	QASBA	2011	DBLP DOI BibTeX RDF
16	Daniele Romano, Martin Pinzger 0001, Eric Bouwers	Extracting dynamic dependencies between web services using vector clocks.	SOCA	2011	DBLP DOI BibTeX RDF
16	Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001	Schizophrenia and causality in the context of refined clocks.	FDL	2011	DBLP BibTeX RDF
16	Andy J. Wellings, Martin Schoeberl	User-defined clocks in the real-time specification for Java.	JTRES	2011	DBLP DOI BibTeX RDF
16	Ali Hajimiri	Timing inaccuracy of clocks.	CICC	2011	DBLP DOI BibTeX RDF
16	Ying Wang, Bo Xu 0029	Improving prediction precision of navigation satellite clocks with functional network.	NaBIC	2011	DBLP DOI BibTeX RDF
16	Ying Teng, Jianchao Lu, Baris Taskin	ROA-brick topology for rotary resonant clocks.	ICCD	2011	DBLP DOI BibTeX RDF
16	Kaihe Xu, Qian Wang 0002, Kui Ren 0001	Wireless key establishment with asynchronous clocks.	MILCOM	2011	DBLP DOI BibTeX RDF
16	Oscar Gerardo Ibarra-Manzano, Luis Javier Morales-Mendoza, Yuriy S. Shmaliy	FIR smoothing of discrete-time state-space models with applications to clocks.	EUSIPCO	2011	DBLP BibTeX RDF
16	Matthew Mah	Time-based Location Techniques Using Inexpensive, Unsynchronized Clocks in Wireless Networks.		2011	RDF
16	Jen-Chien Hsu, Chauchin Su	Timing Jitter and Modulation Profile Extraction for Spread-Spectrum Clocks.	IEEE Trans. Instrum. Meas.	2010	DBLP DOI BibTeX RDF
16	Y. C. Chan, W. A. Johnson, S. K. Karuza, A. M. Young, J. C. Camparo	Self-Monitoring and Self-Assessing Atomic Clocks.	IEEE Trans. Instrum. Meas.	2010	DBLP DOI BibTeX RDF
16	Tsung-Yi Wu, Tzi-Wei Kao, How-Rern Lin	Combined Use of Rising and Falling Edge Triggered Clocks for Peak Current Reduction in IP-Based SoC/NoC Designs.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
16	Songyan Xu, Ratnesh Kumar 0001	Real-Time Control of Dense-Time Systems Using Digital-Clocks.	IEEE Trans. Autom. Control.	2010	DBLP DOI BibTeX RDF
16	Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves 0002	Dotted Version Vectors: Logical Clocks for Optimistic Replication	CoRR	2010	DBLP BibTeX RDF
16	Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro	Types for X10 Clocks	PLACES	2010	DBLP DOI BibTeX RDF
16	Mark Reynolds 0001	Metric temporal reasoning with less than two clocks.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Thomas Schmid 0002, Roy Shea, Zainul Charbiwala, Jonathan Friedman, Mani B. Srivastava, Young H. Cho	On the interaction of clocks, power, and synchronization in duty-cycled embedded sensor nodes.	ACM Trans. Sens. Networks	2010	DBLP DOI BibTeX RDF
16	Nikolaos M. Freris, Hemant Kowshik, P. R. Kumar 0001	Fundamentals of Large Sensor Networks: Connectivity, Capacity, Clocks, and Computation.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
16	Quentin Thommen, Benjamin Pfeuty, Pierre-Emmanuel Morant, Florence Corellou, François-Yves Bouget, Marc Lefranc	Robustness of Circadian Clocks to Daylight Fluctuations: Hints from the Picoeucaryote Ostreococcus tauri.	PLoS Comput. Biol.	2010	DBLP DOI BibTeX RDF
16	Ping Gui, Zheng Gao, Chen-Wei Huang, Liming Xiu	The Effects of Flying-Adder Clocks on Digital-to-Analog Converters.	IEEE Trans. Circuits Syst. II Express Briefs	2010	DBLP DOI BibTeX RDF
16	Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone	The Time Model of Logical Clocks Available in the OMG MARTE Profile.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
16	Yohei Ito, Kenko Uchida	Performance Evaluation of Circadian Clocks Fluctuated by Intrinsic Noise.	CCA	2010	DBLP DOI BibTeX RDF
16	Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001	Compilation of imperative synchronous programs with refined clocks.	MEMOCODE	2010	DBLP DOI BibTeX RDF
16	Oussama Elissati, Sébastien Rieubon, Eslam Yahya, Laurent Fesquet	Self-Timed Rings: A Promising Solution for Generating High-Speed High-Resolution Low-Phase Noise Clocks.	VLSI-SoC (Selected Papers)	2010	DBLP DOI BibTeX RDF
16	Tsung-Yi Wu, Tzi-Wei Kao, Shi-Yi Huang, Tai-Lun Li, How-Rern Lin	Combined use of rising and falling edge triggered clocks for peak current reduction in IP-based SoC designs.	ASP-DAC	2010	DBLP DOI BibTeX RDF
16	Michel Agoyan, Jean-Max Dutertre, David Naccache, Bruno Robisson, Assia Tria	When Clocks Fail: On Critical Paths and Clock Faults.	CARDIS	2010	DBLP DOI BibTeX RDF
16	Bart Vermeulen, Kees Goossens	Obtaining consistent global state dumps to interactively debug systems on chip with multiple clocks.	HLDVT	2010	DBLP DOI BibTeX RDF
16	Matija Marolt, Marieke Lefeber	It's Time for a Song - Transcribing Recordings of Bell-playing Clocks.	ISMIR	2010	DBLP BibTeX RDF
16	Oliver E. Gysel, Paul J. Hurst, Stephen H. Lewis	Highly programmable switched-capacitor filters using biquads with nonuniform internal clocks.	SoCC	2010	DBLP DOI BibTeX RDF
16	Gennady A. Leonov, Svetlana M. Seledzhi, Nikolay V. Kuznetsov, Pekka Neittaanmäki	Asymptotic Analysis of Phase Control System for Clocks in Multiprocessor Arrays.	ICINCO (3)	2010	DBLP BibTeX RDF
16	Xiaowan Huang, Anu Singh, Scott A. Smolka	Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.	NASA Formal Methods	2010	DBLP BibTeX RDF
16	Martin Harrigan	Using Vector Clocks to Visualize Communication Flow.	ASONAM	2010	DBLP DOI BibTeX RDF	communication flow, visualization, vector clock, dynamic graph
16	Jirí Wackermann	On Clocks, Models and Metaphors - Understanding the Klepsydra Model.	COST TD0904 International Workshop	2010	DBLP DOI BibTeX RDF
16	Russell Impagliazzo, Ryan Williams 0001	Communication Complexity with Synchronized Clocks.	CCC	2010	DBLP DOI BibTeX RDF	time-communication tradeoffs, lower bounds, communication complexity
16	James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens	Memory Event Clocks.	FORMATS	2010	DBLP DOI BibTeX RDF
16	Ajay D. Kshemkalyani	Middleware clocks for sensing the physical world.	MidSens	2010	DBLP DOI BibTeX RDF
16	Luis Arceo-Miquel, Yuriy S. Shmaliy, Oscar Gerardo Ibarra-Manzano	Optimal Synchronization of Local Clocks by GPS 1PPS Signals Using Predictive FIR Filters.	IEEE Trans. Instrum. Meas.	2009	DBLP DOI BibTeX RDF
16	Torben Weis, Arno Wacker, Sebastian Schuster, Sebastian Holzapfel	Towards Logical Clocks in P2P-based MMVEs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2009	DBLP DOI BibTeX RDF
16	Nikolaos M. Freris, Hemant Kowshik, P. R. Kumar 0001	Fundamentals of Large Sensor Networks: Connectivity, Capacity, Clocks and Computation	CoRR	2009	DBLP BibTeX RDF
16	Sumio Masuda, Takamoto Watanabe, Shigenori Yamauchi, Tomohito Terasawa	All-Digital Quadrature Detection With TAD for Radio-Controlled Clocks/Watches.	IEEE Trans. Circuits Syst. I Regul. Pap.	2009	DBLP DOI BibTeX RDF
16	Giovanni Russo 0002, Mario di Bernardo	How to Synchronize Biological Clocks.	J. Comput. Biol.	2009	DBLP DOI BibTeX RDF