|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1250 occurrences of 725 keywords
|
|
|
Results
Found 1399 publication records. Showing 1399 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 1399 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|