The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Clocks with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1985 (17) 1986-1988 (15) 1989-1990 (25) 1991 (16) 1992 (17) 1993 (17) 1994 (28) 1995 (36) 1996 (30) 1997 (31) 1998 (27) 1999 (47) 2000 (45) 2001 (54) 2002 (55) 2003 (57) 2004 (77) 2005 (77) 2006 (87) 2007 (92) 2008 (78) 2009 (65) 2010 (32) 2011 (31) 2012 (24) 2013 (28) 2014 (25) 2015 (27) 2016 (23) 2017 (28) 2018 (31) 2019 (26) 2020 (37) 2021 (20) 2022 (42) 2023 (25) 2024 (7)
Publication types (Num. hits)
article(410) book(1) incollection(8) inproceedings(970) phdthesis(10)
Venues (Conferences, Journals, ...)
CoRR(53) FORMATS(18) IEEE Trans. Instrum. Meas.(18) ISCAS(18) PODC(18) CONCUR(17) ITC(17) IEEE Trans. Comput. Aided Des....(16) Distributed Comput.(15) DAC(14) DATE(14) OPODIS(14) ICCD(13) TACAS(13) ICCAD(11) IEEE Trans. Computers(11) More (+10 of total 595)
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
121Francisco J. Torres-Rojas, Mustaque Ahamad Plausible Clocks: Constant Size Logical Clocks for Distributed Systems. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Causality detection, Distributed algorithms, Logical clocks
97Francisco J. Torres-Rojas, Mustaque Ahamad Plausible Clocks: Constant Size Logical Clocks for Distributed Systems. Search on Bibsonomy WDAG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
90Bülent Abali, Craig B. Stunkel Time synchronization on SP1 and SP2 parallel systems. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing
81Michael D. Lemmon, J. Ganguly, L. Xia Model-based clock synchronization in networks with drifting clocks. Search on Bibsonomy PRDC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model-based clock synchronization, drifting clocks, neighboring processor clocks, signature functions, logic design, synchronisation, clocks, dynamic models
81Gil Neiger, Sam Toueg Simulating Synchronized Clocks and Common Knowledge in Distributed Systems. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF knowledge-based protocols, synchronized clocks, timestamped common knowledge, clock synchronization, logical clocks, common knowledge
81Mark Christiaens, Koenraad De Bosschere Accordion Clocks: Logical Clocks for Data Race Detection. Search on Bibsonomy Euro-Par The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
65Malay K. Ganai, Aarti Gupta Efficient BMC for Multi-Clock Systems with Clocked Specifications. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
65Mohan Ahuja, Timothy Carlson, Ashwani Gahlot Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations
57Alain Girault, Xavier Nicollin Clock-Driven Automatic Distribution of Lustre Programs. Search on Bibsonomy EMSOFT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
57Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens The Regular Real-Time Languages. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
57Koenraad Audenaert Clock Trees: Logical Clocks for Programs with Nested Parallelism. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Lamport clocks, nested fork-join parallelism, event labeling, vector clocks, Logical time
57Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrency, Synchronization, Static Analysis, Clocks, X10, NuSMV
57Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte Interval Tree Clocks. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF version vectors, dynamic systems, Causality, vector clocks, logical clock
57Anders Gidenstam, Marina Papatriantafilou Adaptive Plausible Clocks. Search on Bibsonomy ICDCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Ajay D. Kshemkalyani The power of logical clock abstractions. Search on Bibsonomy Distributed Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Distributed system, Concurrency, Time, Knowledge, Clocks, Causality, Logical time
49Nagesh Vasanthavada, Peter N. Marinos Synchronization of Fault-Tolerant Clocks in the Presence of Malicious Failures. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF fault-tolerant clocks, clock partitions, clock-receiver triggering, phase-detector operating range, averaging rule, simulations, fault tolerant computing, logic testing, synchronisation, synchronisation, clocks, malicious failures
49Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance analysis of probabilistic timed automata using digital clocks. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, Digital clocks
49Anish Arora, Sandeep S. Kulkarni, Murat Demirbas Resettable vector clocks. Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF bounded-space, component substitutability, reset events, fault-tolerance, stabilization, vector clocks
49Achour Mostéfaoui, Michel Raynal, Makoto Takizawa 0001 Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. Search on Bibsonomy PaCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Consensus, Reliable Multicast, Timestamp, Asynchronous Distributed Systems, Process Crash, Logical Clocks, Process Group
49Pradipta K. Dash, R. C. Hansdah A Fault-Tolerant Distributed Algorithm for Termination Detection Using Roughly Synchronized Clocks. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF global termination, asynchronous & synchronous networks, roughly synchronized clocks, Distributed computation, resilience
49Manuel Scholz, Frank Bregulla, Annika Hinze Using Physical Clocks for Replication in MANETs. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Juan Cespedes, Antonio Fernández 0001, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martínez-Romo, Alberto Mozo, Anna Puig-Centelles, Agustín Santos, Christopher Thraves Performance of scheduling policies in adversarial networks with non synchronized clocks. Search on Bibsonomy ISCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Florian Kerschbaum, Julien Vayssière Privacy-preserving logical vector clocks using secure computation techniques. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001 Schedulability Analysis Using Two Clocks. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Ravi Prakash 0001, Mukesh Singhal Dependency sequences and hierarchical clocks: Efficient alternatives to vector clocks for mobile computing systems. Search on Bibsonomy Wirel. Networks The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Yutaka Ishibashi, Shuji Tasaka A Comparative Survey of Sychronization Algorithms for Continuous Media in Network Environments. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF comparative survey, media synchronization control techniques, basic control, preventive control, common control, network delay bounds, delays, multimedia systems, synchronisation, clocks, clocks, reviews, continuous media, telecommunication networks, algorithm design, telecommunication control, network environments, synchronization algorithms, reactive control
41Roland Mandler A configurable adjunct for real time systems (CARTS). Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF utility programs, configurable adjunct for real time systems, rapid application code generation, generic user interfaces, processor restarts, incremental system integration, incremental system reconfiguration, file-based data, tailored functionality, CARTS postal system, optimal transfer methods, backplane I/O, network I/O, CARTS clock services, high resolution time of day clocks, high resolution mission clock, system wide clock synchronisation, real-time systems, user interfaces, architectures, shared memory, shared memory systems, application program interfaces, clocks, network operating systems, operating system kernels, CARTS, real time distributed systems, input-output programs, system services, intertask communication
41Paul D. Ezhilchelvan, Francisco V. Brasileiro, Neil A. Speirs A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF process replication, physical and logical clocks, fault tolerance, agreement, Byzantine failures, Triple Modular Redundancy (TMR), message ordering
41Malolan Chetlur, Philip A. Wilsey Causality representation and cancellation mechanism in time warp simulations. Search on Bibsonomy Workshop on Parallel and Distributed Simulation The full citation details ... 2001 DBLP  DOI  BibTeX  RDF time warp, vector clocks, virtual time, logical time
41Maurice Herlihy, Martin S. McKendry Timestamp-Based Orphan Elimination. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
41Srikanth Sastry, Scott M. Pike, Jennifer L. Welch Crash fault detection in celerating environments. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Marius Bozga, Oded Maler, Stavros Tripakis Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal Lifetime Based Consistency Protocols for Distributed Objects. Search on Bibsonomy DISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Koenraad De Bosschere, Michiel Ronsse Clock Snooping and its Application in on-the-fly Data Race Detection. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Josef Widder, Ulrich Schmid 0001 The Theta-Model: achieving synchrony without clocks. Search on Bibsonomy Distributed Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Clocks and time, Computing models, Partially synchronous systems, Fault-tolerant distributed algorithms
40Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai An Experimental Framework for the Analysis and Validation of Software Clocks. Search on Bibsonomy SEUS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF experimental framework andmethodology, assessment and measurements, software clocks, R? NTP
40Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec Safety of a Session Guarantees Protocol Using Plausible Clocks. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF plausible clocks, consistency models, session guarantees
40Antoni W. Mazurkiewicz, Dobieslaw Wróblewski Messages, Clocks, and Gravitation. Search on Bibsonomy CEEMAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF local clocks, networks, distributed algorithms, Message passing, potential
40Zhijun Tong, Richard Y. Kain, W. T. Tsai Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF loosely synchronized clocks, state-save synchronizationmessages, interprocess communication protocol, state-save progressinformation, message frames, consistent system states, rollback recovery algorithm, distributed systems, protocols, distributed processing, encodes, programming theory, clock drifts
40Barbara Liskov, Liuba Shrira, John Wroclawski Efficient At-Most-Once Messages Based on Synchronized Clocks. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF at-most-once message passing, message-passing protocols, synchronized clocks, remote procedure calls
40Anish Arora, Shlomi Dolev, Mohamed G. Gouda Maintaining Digital Clocks In Step. Search on Bibsonomy WDAG The full citation details ... 1991 DBLP  DOI  BibTeX  RDF reliability, distributed algorithms, stabilization, convergence, digital clocks
40Sanghyeon Baeg Delay Fault Coverage Enhancement by Partial Clocking for Low-Power Designs With Heavily Gated Clocks. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Karine Altisen, Franck Cassez, Stavros Tripakis Monitoring and fault-diagnosis with digital clocks Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Brad T. Moore, Paolo A. G. Sivilotti Plausible Clocks with Bounded Inaccuracy. Search on Bibsonomy DISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente Implementing Execution-Time Clocks for the Ada Ravenscar Profile. Search on Bibsonomy Ada-Europe The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Su Kio, Kian Haur Chong, Carl Sechen A low power delayed-clocks generation and distribution system. Search on Bibsonomy ISCAS (5) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Xijiang Lin, Rob Thompson Test generation for designs with multiple clocks. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF clock domain, ATPG, scan design
40Kazumi Hatayama, Michinobu Nakao, Yasuo Sato At-Speed Built-in Test for Logic Circuits with Multiple Clocks. Search on Bibsonomy Asian Test Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Francisco J. Torres-Rojas Performance Evaluation of Plausible Clocks. Search on Bibsonomy Euro-Par The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Ted Herman Phase Clocks for Transient Fault Repair. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive
40M. Srikanth Rao, S. K. Nandy 0001 Power minimization using control generated clocks. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Jean Mayo, Phil Kearns Distributed Deadlock Detection and Resolution Based on Hardware Clocks. Search on Bibsonomy ICDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Henrik Reif Andersen, Michael Mendler An Asynchronous Algebra with Multiple Clocks. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
40David L. Mills Improved Algorithms for Synchronizing Computer Network Clocks. Search on Bibsonomy SIGCOMM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Internet
33Michaël Adélaïde, Claire Pagetti On the Urgency Expressiveness. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF timed regular expression, minimal number of clocks, n-clock timed language, Timed automaton, urgency
33Joep L. W. Kessels, Suk-Jin Kim, Ad M. G. Peeters, Paul Wielage Clock Synchronization through Handshake Signalling. Search on Bibsonomy ASYNC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF GALS systems, pausible clocks, asynchronous crossbar/bus, processor/memory architectures
33Luk Levrouw, Koenraad Audenaert Minimizing the Log Size for Execution Replay of Shared-Memory Programs. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Execution Replay, Logical Clocks, Parallel Debugging
33Fabian Kuhn, Christoph Lenzen 0001, Thomas Locher, Rotem Oshman Optimal gradient clock synchronization in dynamic networks. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF clock synchronization, dynamic networks
33Tsung-Han Lin, Keng-hao Chang, Jr-ben Tian, Hao-Hua Chu, Polly Huang Modeling and simulation comparison of two time synchronization protocols. Search on Bibsonomy PM2HW2N The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance evaluation, sensor networks, time synchronization
33Anurag Agarwal, Vijay K. Garg Efficient dependency tracking for relevant events in concurrent systems. Search on Bibsonomy Distributed Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Dependency tracking, Vector clock, Predicate detection
33Rui Fan 0004, Nancy A. Lynch Gradient clock synchronization. Search on Bibsonomy Distributed Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Ad-hoc networks, Lower bounds, Clock synchronization, Indistinguishability
33Donald Darling, Jean Mayo, Xinli Wang Stable Predicate Detection in Dynamic Systems. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Rui Fan 0004, Nancy A. Lynch Gradient clock synchronization. Search on Bibsonomy PODC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ad hoc networks, lower bounds, clock synchronization, local algorithms
33Ajanta Chakraborty, Mark R. Greenstreet Efficient Self-Timed Interfaces for Crossing Clock Domains. Search on Bibsonomy ASYNC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Dave Stang, Ramaswami Dandapani An Implementation of IEEE 1149.1 to Avoid Timing Violations and Other Practical In-Compliance Improvements. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Vishal Jain, John A. Waicukauski Scan Test Data Volume Reduction in Multi-Clocked Designs with Safe Capture Technique. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Ajay D. Kshemkalyani Concurrent Knowledge and Logical Clock Abstractions. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Christoph Liebig, Mariano Cilia, Alejandro P. Buchmann Event Composition in Time-dependent Distributed Systems. Search on Bibsonomy CoopIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed active systems, time-dependent distributed systems, distributed event composition, event time stamping
33Soo Young Lee, Kewal K. Saluja Test application time reduction for sequential circuits with scan. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Costas Courcoubetis Minimum and Maximum Delay Problems in Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33Gerardus Johannes Wichardus van Dijk, A. J. van der Wal Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems. Search on Bibsonomy EDMCC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33Riccardo Gusella, Stefano Zatti The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF TEMPO, Berkeley UNIX 4.3BSD, network transmission latency, VAX computers, lower bounds, fault tolerant computing, Unix, local area network, local area networks, synchronisation, upper bounds, clock synchronization, distributed service
32Isamu Tsuneizumi, Ailixier Aikebaier, Reko Dida, Tomoya Enokido, Makoto Takizawa 0001 A Multi-layered Communication Model with Hybrid Clocks in P2P Overlay Networks. Search on Bibsonomy NBiS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Hybrid clocks, Group communication, Multi-layered model
32Ajay D. Kshemkalyani Temporal Predicate Detection Using Synchronized Clocks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF synchronized clocks, sensor networks, ad-hoc networks, time, data fusion, intervals, Event streams
32John V. A. Janeri, Daylan B. Darby, Daniel D. Schnackenberg Building higher resolution synthetic clocks for signaling in covert timing channels. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF higher resolution synthetic clocks, timing channel countermeasure, Boeing multilevel secure local area network, secure network server, internal timing channels, time reference clock granularity, fine-grained signaling clock, timing channel throughput, timing channel capacities, local area networks, security of data, worst-case analysis, covert timing channels
32Sang Lyul Min, Jean-Loup Baer Design and Analysis of a Scalable Cache Coherence Scheme Based on Clocks and Timestamps. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF cache contents reuse, scalable cache coherence, multiple privatecaches, compile-time marking, hardware-based local incoherence detection, program flow, parallel programming, shared memory multiprocessors, storage management, clocks, trace-driven simulation, buffer storage, timestamps, references
32C. Mani Krishna 0001, Kang G. Shin, Ricky W. Butler Ensuring Fault Tolerance of Phase-Locked Clocks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Interactive consistency and interactive convergence algorithms, phase-locked clocks, synchronization, malicious failure
32Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007 Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Emre Tuncer, Jordi Cortadella, Luciano Lavagno Enabling adaptability through elastic clocks. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF low power design, GALS, desynchronization, adaptive voltage scaling
32Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet Abstraction of Clocks in Synchronous Data-Flow Systems. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks
32S. Akshay 0001, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Distributed Timed Automata with Independently Evolving Clocks. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Jacqueline Walker, Antonio Cantoni Modeling the Effect of Nonideal Reference Clocks on the Jitter Generated in Timing Transfer. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Marcin Jurdzinski, François Laroussinie, Jeremy Sproston Model Checking Probabilistic Timed Automata with One or Two Clocks. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet Synchronization of periodic clocks. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
32Jean-Louis Colaço, Marc Pouzet Clocks as First Class Abstract Types. Search on Bibsonomy EMSOFT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Edmund M. Clarke, Daniel Kroening, Karen Yorav Specifying and Verifying Systems with Multiple Clocks. Search on Bibsonomy ICCD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Sarmistha Neogy, Anupam Sinha, Pradip Kumar Das Distributed Checkpointing Using Synchronized Clocks. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Scott D. Stoller Detecting Global Predicates in Distributed Systems with Clocks. Search on Bibsonomy Distributed Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
32Maria Eleftheriou, Marios Mavronicolas Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Scott D. Stoller Detecting Global Predicates in Distributed Systems with Clocks. Search on Bibsonomy WDAG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection
32Frédéric Ruget Cheaper Matrix Clocks. Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF matrix time, fault tolerance, distributed systems, causality, logical time
32Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger The Observational Power of Clocks. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Vidhya Tekken Valapil, Sandeep S. Kulkarni Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. Search on Bibsonomy SIROCCO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Thomas Schmid 0002, Prabal Dutta, Mani B. Srivastava High-resolution, low-power time synchronization an oxymoron no more. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF virtual high-resolution time, low-power, clocks, time synchronization
24Chaiyasit Manovit, Sudheendra Hangal Efficient algorithms for verifying memory consistency. Search on Bibsonomy SPAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks
24Mirabelle Nebut Specification and analysis of synchronous reactions. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Synchronous paradigm, Modelling and handling of variable absence, Specification, Clocks
24Jacob Savir Reduced Latch Count Shift Registers. Search on Bibsonomy J. Electron. Test. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF shift register latch, scan register, shifting clocks, STUMPS architecture, LSSD
Displaying result #1 - #100 of 1399 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license