Search results for "clocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Kang G. Shin, Parameswaran Ramanathan	Transmission Delays in Hardware Clock Synchronization.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	hardware clock synchronization, malicious faults, delays, synchronisation, clocks, Byzantine faults, transmission delays, time overhead, clock signals
16	Daniel Davies, John F. Wakerly	Synchronization and Matching in Redundant Systems.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	N-modular redundancy (NMR), signal selection, synchronization, fault-tolerant computing, clocks, triple modular redundancy (TMR), microcomputers, Asynchronous networks, voters
16	Jae Wook Lee, Ji Hwan (Paul) Chun, Jacob A. Abraham	A delay measurement method using a shrinking clock signal.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	edge placement accuracy, tester, measurement, delay
16	Philipp Sommer, Roger Wattenhofer	Gradient clock synchronization in wireless sensor networks.	IPSN	2009	DBLP DOI BibTeX RDF
16	Sarah E. Webster, Ryan M. Eustice, Hanumant Singh, Louis L. Whitcomb	Preliminary deep water results in single-beacon one-way-travel-time acoustic navigation for underwater vehicles.	IROS	2009	DBLP DOI BibTeX RDF
16	Jasper Berendsen, Taolue Chen, David N. Jansen	Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.	TAMC	2009	DBLP DOI BibTeX RDF
16	Béatrice Bérard, Serge Haddad	Interrupt Timed Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
16	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
16	Marcos Kawazoe Aguilera, Ram Swaminathan	Remote storage with byzantine servers.	SPAA	2009	DBLP DOI BibTeX RDF	distributed system, algorithms, digital signatures, distributed storage, byzantine failures
16	Mehmet A. Orgun	Querying Historical Data Over Multiple Time-Lines.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68P15, 68U35
16	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
16	Yingxu Wang	The cognitive processes of perceptions on spatiality, time, and motion.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
16	Raman Venkataramani, Mehmet Fatih Erden	MAP-Based Timing Recovery for Magnetic Recording.	ICC	2008	DBLP DOI BibTeX RDF
16	Chunpeng Yan, H. Howard Fan	Asynchronous differential TDOA for non-GPS navigation using signals of opportunity.	ICASSP	2008	DBLP DOI BibTeX RDF
16	Azzedine Boukerche, Horacio A. B. F. de Oliveira, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro	Enlightness: An enhanced and lightweight algorithm for time-space localization in Wireless Sensor Networks.	ISCC	2008	DBLP DOI BibTeX RDF
16	Kevin S. Killourhy, Roy A. Maxion	The Effect of Clock Resolution on Keystroke Dynamics.	RAID	2008	DBLP DOI BibTeX RDF	Insider-attack detection, Digital biometrics, Anomaly detection, Keystroke dynamics
16	Veerapaneni Nagbhushan, C. Y. Roger Chen	Modeling and reduction of complex timing constraints in high performance digital circuits.	ICCD	2008	DBLP DOI BibTeX RDF
16	Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj	Updatable Timed Automata with Additive and Diagonal Constraints.	CiE	2008	DBLP DOI BibTeX RDF
16	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
16	Albert Tannous, Jonathan T. Trostle, Mohamed Hassan, Stephen E. McLaughlin, Trent Jaeger	New Side Channels Targeted at Passwords.	ACSAC	2008	DBLP DOI BibTeX RDF
16	Josef Widder, Ulrich Schmid 0001	Booting clock synchronization in partially synchronous systems with hybrid process and link failures.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Initial clock synchronization, System start-up, Hybrid failure models, Link failures, Partially synchronous systems, Fault-tolerant distributed algorithms
16	Antônio Augusto de Aragão Rocha, Rosa Maria Meri Leão, Edmundo de Souza e Silva	A Non-cooperative Active Measurement Technique for Estimating the Average and Variance of the One-Way Delay.	Networking	2007	DBLP DOI BibTeX RDF	Active network measurement, IPID field, One-way delay
16	Stefano Bregni, Luciano Lacavalla, Bruno Propersi, Francesco Residori	Synchronization of Single-Frequency Simulcast Networks Using Network Time Protocol.	ICC	2007	DBLP DOI BibTeX RDF
16	Ernesto Burattini, Silvia Rossi 0002	A Robotic Architecture with Innate Releasing Mechanism.	BVAI	2007	DBLP DOI BibTeX RDF
16	Ramzi Ben Salah, Marius Bozga, Oded Maler	On timed components and their abstraction.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, abstraction, timed automata
16	Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis	Loosely time-triggered architectures based on communication-by-sampling.	EMSOFT	2007	DBLP DOI BibTeX RDF	MoCC, loosely time-triggered, distributed systems, real-time systems, time-triggered
16	Guo-Liang Lee, Chi-Sheng Shih 0001	Clock Free Data Streams Alignment for Sensor Networks.	RTCSA	2007	DBLP DOI BibTeX RDF
16	Horacio A. B. F. de Oliveira, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro, Azzedine Boukerche	Localization in Time and Space for Sensor Networks.	AINA	2007	DBLP DOI BibTeX RDF
16	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
16	Albrecht Schmidt 0001	Network alarm clock (The 3AD International Design Competition).	Pers. Ubiquitous Comput.	2006	DBLP DOI BibTeX RDF	Alarm clock appliance, Implicit communication, Social communication
16	Omer Gurewitz, Israel Cidon, Moshe Sidi	Network classless time protocol based on clock offset optimization.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	UTC, classless time protocol (CTP), measurements, network management, estimation, time synchronization, one-way delay
16	Kun Sun 0001, Peng Ning, Cliff Wang	Secure and resilient clock synchronization in wireless sensor networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
16	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
16	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.	FATES/RV	2006	DBLP DOI BibTeX RDF
16	Moustafa Youssef 0001, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala	PinPoint.	MobiSys	2006	DBLP DOI BibTeX RDF	ranging techniques, rapidly deployable location determination, time-of-arrival location determination, location determination
16	Jun-Hong Weng, Meng-Ting Tsai, Jung-Mao Lin, Ching-Yuan Yang	A 1.8-Gb/s burst-mode clock and data recovery circuit with a 1/4-rate clock technique.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Youcef Hammal	Branching Time Semantics for UML 2.0 Sequence Diagrams.	FORTE	2006	DBLP DOI BibTeX RDF
16	Olivier Finkel	Undecidable Problems About Timed Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
16	Melvin A. Breuer	Let's Think Analog.	ISVLSI	2005	DBLP DOI BibTeX RDF
16	Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001	Decidability and Complexity Results for Timed Automata via Channel Machines.	ICALP	2005	DBLP DOI BibTeX RDF
16	Manan Syal, Michael S. Hsiao, Suriyaprakash Natarajan, Sreejit Chakravarty	Untestable Multi-Cycle Path Delay Faults in Industrial Designs.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
16	Tsachy Kapschitz, Ran Ginosar	Formal Verification of Synchronizers.	CHARME	2005	DBLP DOI BibTeX RDF
16	Olivier Bezet, Véronique Berge-Cherfaoui	On-Line Timestamping Synchronization in Distributed Sensor Architectures.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
16	Kuo-Hsing Cheng, Chen-Lung Wu, Yu-Lung Lo, Chia-Wei Su	A phase-detect synchronous mirror delay for clock skew-compensation circuits.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
16	Christof Fetzer, Ulrich Schmid 0001, Martin Süßkraut	On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.	ICDCS	2005	DBLP DOI BibTeX RDF	eventually perfect failure detector, consensus, asynchronous systems, impossibility
16	Hagit Attiya, David Hay, Jennifer L. Welch	Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks.	OPODIS	2005	DBLP DOI BibTeX RDF
16	Chunsheng Liu, Vikram Iyengar, Jiangfan Shi, Érika F. Cota	Power-Aware Test Scheduling in Network-on-Chip Using Variable-Rate On-Chip Clocking.	VTS	2005	DBLP DOI BibTeX RDF
16	Karine Altisen, Stavros Tripakis	Implementation of Timed Automata: An Issue of Semantics or Modeling?	FORMATS	2005	DBLP DOI BibTeX RDF
16	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	On Optimal Timed Strategies.	FORMATS	2005	DBLP DOI BibTeX RDF
16	Diana Marculescu, Emil Talpes	Variability and energy awareness: a microarchitecture-level perspective.	DAC	2005	DBLP DOI BibTeX RDF	GALS design, power consumption, variability
16	Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang	Power-aware placement.	DAC	2005	DBLP DOI BibTeX RDF	net switching power, dynamic power, clock tree
16	Shlomi Dolev, Jennifer L. Welch	Self-stabilizing clock synchronization in the presence of Byzantine faults.	J. ACM	2004	DBLP DOI BibTeX RDF	self-stabilization, clock synchronization, Byzantine failures
16	Ravi Prakash 0001, Roberto Baldoni	Causality and the Spatial-Temporal Ordering in Mobile Systems.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	spatial ordering, fairness, mobile networks, causality
16	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
16	Rostislav (Reuven) Dobkin, Ran Ginosar, Christos P. Sotiriou	Data Synchronization Issues in GALS SoCs.	ASYNC	2004	DBLP DOI BibTeX RDF
16	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
16	Satoshi Kawanami, Tomoya Enokido, Makoto Takizawa 0001	Heterogeneous Groups to Causally Ordered Delivery.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
16	Naghmeh Ghafari, Rudolph E. Seviora	A Signal Processing Approach to Global Predicate Monitoring.	SRDS	2004	DBLP DOI BibTeX RDF
16	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
16	Amal El Fallah Seghrouchni, Irene Degirmenciyan-Cartault, Frédéric Marc	Framework for Multi-agent Planning Based on Hybrid Automata.	CEEMAS	2003	DBLP DOI BibTeX RDF
16	Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout	The Definition of a Temporal Clock Operator.	ICALP	2003	DBLP DOI BibTeX RDF
16	Nicolas T. Courtois, Willi Meier	Algebraic Attacks on Stream Ciphers with Linear Feedback.	EUROCRYPT	2003	DBLP DOI BibTeX RDF	Algebraic attacks on stream ciphers, factoring multivariate polynomials, overdefined problems, ciphertext-only attacks, Toyocrypt, Cryptrec, LILI-128, Boolean functions, nonlinear filtering, pseudo-random generators, Nessie, XL algorithm, multivariate equations
16	Omer Gurewitz, Israel Cidon, Moshe Sidi	Network Time Synchronization Using Clock Offset Optimization.	ICNP	2003	DBLP DOI BibTeX RDF
16	Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis	A Protocol for Loosely Time-Triggered Architectures.	EMSOFT	2002	DBLP DOI BibTeX RDF
16	Deepak D'Souza, P. Madhusudan	Timed Control Synthesis for External Specifications.	STACS	2002	DBLP DOI BibTeX RDF
16	Elie Torbey, John P. Knight	Multiclock selection and synthesis for CDFGs using optimal clock sets and genetic algorithms.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
16	Jin-Ku Kang, Dong-Hee Kim	A CMOS clock and data recovery with two-XOR phase-frequency detector circuit.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
16	Philippe Laumay, Eric Bruneton, Noel De Palma, Sacha Krakowiak	Preserving Causality in a Scalable Message-Oriented Middleware.	Middleware	2001	DBLP DOI BibTeX RDF
16	Resve A. Saleh, Syed Zakir Hussain, Steffen Rochel, David Overhauser	Clock skew verification in the presence of IR-drop in the powerdistribution network.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
16	Rolf Clauberg, Peter Buchmann, Andreas Herkersdorf, David J. Webb	Design Methodology for a Large Communication Chip.	IEEE Des. Test Comput.	2000	DBLP DOI BibTeX RDF
16	Thomas A. Henzinger, Jean-François Raskin	Robust Undecidability of Timed and Hybrid Systems.	HSCC	2000	DBLP DOI BibTeX RDF
16	Basant Rajan, R. K. Shyamasundar	Multiclock Esterel: A Reactive Framework for Asynchronous Design.	IPDPS	2000	DBLP DOI BibTeX RDF	VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
16	Hoon Choi, Myung-Kyoon Yim, Jae Young Lee, Byeong-Whee Yun, Yun-Tae Lee	Formal Verification of an Industrial System-on-a-Chip.	ICCD	2000	DBLP DOI BibTeX RDF
16	David L. Harris, Mark Horowitz, Dean Liu	Timing analysis including clock skew.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Marcin Neyman, Michal Bukowski, Piotr Kuzora	Efficient Replay of PVM Programs.	PVM/MPI	1999	DBLP DOI BibTeX RDF
16	Irina M. Smarandache, Thierry Gautier, Paul Le Guernic	Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Luciana Bezerra Arantes, Bertil Folliot, Pierre Sens 0001	A Node Count-Independent Logical Clock for Scaling Lazy Release Consistency Protocol.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Minsoo Ryu, Jungkeun Park, Seongsoo Hong	Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
16	Henrik Lönn	Initial Synchronization of TDMA Communication in Distributed Real-Time Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Distributed systems, Communication, Embedded Systems, Real-Time, TDMA
16	Mehmet A. Orgun	A Temporal Relational Algebra Based on Multiple Time-Lines.	TIME	1999	DBLP DOI BibTeX RDF	Temporal Algebras, Multiple Time-Lines, Temporal Databases
16	Mehmet A. Orgun, Chuchang Liu	Querying Clocked Databases.	FQAS	1998	DBLP DOI BibTeX RDF
16	Yajie Li, Xingshe Zhou 0001, Jianhua Gu	Research and Implementation of Distributed Time Service in Distributed Object Environment.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	distributed object computing CORBA Specification distributed time service dividing-to-group synchronization multicast synchronization precision
16	Anthony C. J. Fox, Neal A. Harman	Algebraic Models of Superscalar Microprocessor Implementations: A Case Study.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
16	Vijay K. Garg, Alexander I. Tomlinson	Using the Causal Domain to Specify and verify Distributed Programs.	Acta Informatica	1997	DBLP DOI BibTeX RDF
16	Rajeev Alur, Thomas A. Henzinger	Real-Time System = Discrete System + Clock Variables.	Int. J. Softw. Tools Technol. Transf.	1997	DBLP DOI BibTeX RDF	Clock variables, Semantics and verification, Real-time systems, Real-time programs
16	Stuart K. Tewksbury, Lawrence A. Hornak	Optical Clock Distribution in Electronic Systems.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
16	Hong-Yean Hsieh, Wentai Liu, Paul D. Franzon, Ralph K. Cavin III	Clocking Optimization and Distribution in Digital Systems with Scheduled Skews.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
16	Chuchang Liu, Mehmet A. Orgun	BCTL: A Branching Clock Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF
16	Luca Benini, Giovanni De Micheli	Automatic synthesis of low-power gated-clock finite-state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
16	K. Wayne Current, Vojin G. Oklobdzija, Dragan Maksimovic	Low-Energy Logic Circuit Techniques for Multiple-Valued Logic.	ISMVL	1996	DBLP DOI BibTeX RDF
16	Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong	Dynamic Fault-Tolerant Clock Synchronization.	J. ACM	1995	DBLP DOI BibTeX RDF	time-of-day clock, fault-tolerance, clock synchronization, Byzantine failures
16	Hagit Attiya, Jennifer L. Welch	Sequential Consistency versus Linearizability.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF
16	Rajeev Alur, Limor Fix, Thomas A. Henzinger	A Determinizable Class of Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
16	Wang Yi 0001, Bengt Jonsson 0001	Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.	FSTTCS	1994	DBLP DOI BibTeX RDF
16	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
16	Micah Beck, T. K. Srikanth, Sam Toueg	Implementation Issues in Clock Synchronization.	Fault-Tolerant Distributed Computing	1986	DBLP DOI BibTeX RDF
16	Meifang Wu, Kan Wang, Jinqian Wang, Jiawei Liu, Beixi Chen, Wei Xie, Zhe Zhang, Xuhai Yang	Real-Time LEO Satellite Clocks Based on Near-Real-Time Clock Determination with Ultra-Short-Term Prediction.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
16	Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray	Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks.	CoRR	2024	DBLP DOI BibTeX RDF
16	Jonathan Edwards, Alex Yakovlev, Simon O'Keefe	Computing with Clocks.	CoRR	2024	DBLP DOI BibTeX RDF
16	Ishaan Lagwankar, Sandeep S. Kulkarni	Replay Clocks.	ICDCN	2024	DBLP DOI BibTeX RDF