The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1969-1981 (15) 1982-1985 (17) 1986-1988 (20) 1989-1990 (23) 1991 (15) 1992-1993 (32) 1994 (37) 1995 (53) 1996 (34) 1997 (24) 1998 (29) 1999 (30) 2000 (26) 2001 (37) 2002 (38) 2003 (45) 2004 (39) 2005 (39) 2006 (55) 2007 (69) 2008 (52) 2009 (47) 2010 (32) 2011 (44) 2012 (52) 2013 (48) 2014 (42) 2015 (55) 2016 (55) 2017 (68) 2018 (62) 2019 (58) 2020 (44) 2021 (57) 2022 (51) 2023 (39) 2024 (10)
Publication types (Num. hits)
article(573) book(11) incollection(13) inproceedings(788) phdthesis(108)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1427 occurrences of 799 keywords

Results
Found 1493 publication records. Showing 1493 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
172Philippas Tsigas, Yi Zhang 0004 Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors. Search on Bibsonomy SIGMETRICS/Performance The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
116Thanasis Hadzilacos, Vassos Hadzilacos Transaction Synchronisation in Object Bases. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
75David Holmes, James Noble 0001, John Potter Aspects of Synchronization. Search on Bibsonomy TOOLS (25) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrency, object-oriented, synchronisation, aspect-oriented
70Zair Abdelouahab, Peter M. Dew Programming concurrency and synchronisation in Actel. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Actel, concurrent object based language, performance, concurrency, object orientation, message passing, synchronisation, object-oriented languages, parallel languages
65Marc Butler, Mikhail Prokopenko, Thomas Howard Flexible Synchronisation within RoboCup Environment: A Comparative Analysis. Search on Bibsonomy RoboCup The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Antonello D'Aguanno, Giancarlo Vercellesi Automatic Synchronisation Between Audio and Score Musical Description Layers. Search on Bibsonomy SAMT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF IEEE P1599, MX, synchronisation, MIDI, PCM
59Alan Stewart, Maurice Clint, Joaquim Gabarró Barrier synchronisation: Axiomatisation and relaxation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Global synchronisation, Operation relaxation, High performance computing, Hoare logic, BSP
59Valentina Lomi, Gianfranco L. Pierobon, Daniele Tonetto, Lorenzo Vangelista Improved Initial Synchronisation in the Presence of Frequency Offset in UMTS FDD Mode. Search on Bibsonomy NETWORKING The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cell search, Golay sequences, synchronisation, UMTS, FDD
55Barry C. L. Leung, Peter P. K. Chiu Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object
55Philippe Owezarski Enforcing Multipoint Multimedia Synchronisation in Videoconferencing Applications. Search on Bibsonomy IDMS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Gianluigi Bellin Chu's Construction: A Proof-Theoretic Approach. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Mads Dam Proof Systems for π-Calculus Logics. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Colin Stirling Bisimulation and Language Equivalence. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Geometry of Deduction Via Graphs of Proofs. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50David Déharbe A Tutorial Introduction to Symbolic Model Checking. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Gianluigi Bellin Two Paradigms of Logical Computation in Affine Logic? Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Mario R. F. Benevides Modal Logics for Finite Graphs. Search on Bibsonomy Logic for Concurrency and Synchronisation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Soraya Zertal, Claude Timsit, Majed Chatti Communication/synchronisation mechanism for multiprocessor on Chip architectures. Search on Bibsonomy ISCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Ying Tan, Scott A. Leyonhjelm, Mike Faulkner Timing Synchronisation for OFDM-WLANs with Time Averaging Scheme. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Pawel T. Wojciechowski, Olivier Rütti, André Schiper SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Andrei Sabelfeld The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Santi Chillemi, Michele Barbi, Angelo Di Garbo Synchronisation Mechanisms in Neuronal Networks. Search on Bibsonomy IWANN (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45H. B. M. Jonkers Communication and Synchronisation Using Interaction Objects. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Meiliu Lu, Du Zhang, Tadao Murata Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF self stabilising clock synchronisation, fault tolerant clock synchronisation, statistical self-diagnosis, SPN software package, Petri nets, fault tolerant computing, distributed processing, Markov processes, self-stability, Markov model, synchronisation, stochastic Petri nets
41Michael R. McCarthy, Henk L. Muller RF Free Ultrasonic Positioning. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Frank Tewissen, Nelson A. Baloian, Heinz Ulrich Hoppe, Erich Reimberg "MatchMaker": Synchronising Objects in Replicated Software-Architectures. Search on Bibsonomy CRIWG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF replicated software architectures, object-wise synchronisation, general software entities, software application synchronisation, transparent event listener mechanisms, central server, remote applications, communication basis, computer-integrated classrooms, high-level API, distributed computing, distributed objects, MatchMaker, courseware, real world applications, Europe, software toolkit
39Gary S. H. Tan, Yong Meng Teo Experiences in simulating a declarative multiprocessor. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network
39John G. Cleary, Murray Pearson, Husam Kinawi The architecture of an optimistic CPU: the WarpEngine. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimistic CPU, WarpEngine, shared memory CPU, single instructions, memory latency tolerance, executable instructions, TimeWarp algorithm, optimistic, single linear address space, single thread of control, reliability, caches, parallel architectures, fault tolerant computing, concurrency control, synchronisation, synchronisation, shared memory systems, memory architecture, cache storage, memory system, memory model, time stamped, memory accesses, local memory
39Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud Data consistency in a distributed persistent object system. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system
39Siak Chuan Tan, Jinglan Zhang Dynamic lock synchronisation for collaborative 3D applications. Search on Bibsonomy MoMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF collaboration, mobile devices, multimodal, synchronisation, 3D
39Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal
35Sabeur Bettaieb, Frédéric Noël A generic architecture to synchronise design models issued from heterogeneous business tools: towards more interoperability between design expertises. Search on Bibsonomy Eng. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-representation, Interoperability, Synchronisation, Collaborative design, Heterogeneous models
35Cristian Versari A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
35Lukito Edi Nugroho, A. S. M. Sajeev Java4P: Java with High-Level Concurrency Constructs. Search on Bibsonomy ISPAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, synchronisation, threads, Concurrent object-oriented programming, guards
35Henry Larkin Applying Concurrent Versioning to Serverless Mobile Device Synchronisation. Search on Bibsonomy ACIS-ICIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Maxim Gitlits, Jackson Yin, Paul Kubik Synchronisation and Timing Groups for GSM Networks. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Qingsong Ye, Anthony M. Sloane, Dominic R. Verity Analysis, Specification and Generation of Mobile Computer Data Synchronisation. Search on Bibsonomy ICMB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens Qualifying Types Illustrated by Synchronisation Examples. Search on Bibsonomy NetObjectDays The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Philippas Tsigas, Yi Zhang 0004 Integrating non-blocking synchronisation in parallel applications: performance advantages and methodologies. Search on Bibsonomy Workshop on Software and Performance The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Dirk Düllmann, Wolfgang Hoschek, Francisco Javier Jaén-Martínez, Ben Segal, Heinz Stockinger, Kurt Stockinger, Asad Samar Models for Replica Synchronisation and Consistency in a Data Grid. Search on Bibsonomy HPDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Mário de Sousa, Adriano Carvalho 0001 Mapping Synchronisation Protocols onto RT CORBA. Search on Bibsonomy DOA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Santi Chillemi, Michele Barbi, Angelo Di Garbo Synchronisation in a Network of FHN Units with Synaptic-Like Coupling. Search on Bibsonomy IWANN (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Irina M. Smarandache, Thierry Gautier, Paul Le Guernic Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Hugh McEvoy Context sensitivity and synchronisation as taxonomics for parallel languages. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Pedro Fonseca 0003, Zoubir Mammeri A Framework for the Analysis of Non-Deterministic Clock Synchronisation Algorithms. Search on Bibsonomy WDAG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Simon Bliudze, Joseph Sifakis The algebra of connectors: structuring interaction in BIP. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30M. W. de Graaf, Ronald G. K. M. Aarts, J. Meijer, Ben J. B. Jonker Ethernet-based communication framework for sensor integration on industrial robots. Search on Bibsonomy ROBOCOMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001 Proving correctness of highly-concurrent linearisable objects. Search on Bibsonomy PPoPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
30Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr. DCAS is not a silver bullet for nonblocking algorithm design. Search on Bibsonomy SPAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
30Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine Using the transformational approach to build a safe and generic data synchronizer. Search on Bibsonomy GROUP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF synchronization, operational transformation
30Atid Shamaie, Alistair Sutherland A Dynamic Model for Real-Time Tracking of Hands in Bimanual Movements. Search on Bibsonomy Gesture Workshop The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Philippas Tsigas, Yi Zhang 0004 The Non-blocking Programming Paradigm in Large Scale Scientific Computations. Search on Bibsonomy PPAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Jon M. Kerridge, Peter H. Welch, David Wood Synchronization Primitives for Highly Parallel Discrete Event Simulations. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Alan Stewart, Maurice Clint Synchronising Asynchronous Communications. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Arnold Neville Pears, Rhys S. Francis Barrier Semantics in Very Weak Memory. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Bü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
29Michael Harrington, Arun K. Somani Synchronizing Hypercube Networks in the Presence of Faults. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF hypercube networks synchronisation, redundant results, fault tolerant hardware synchronization schemes, multistage synchronizers, Proteus parallel computer system, circuit switching communication network, reliability, fault tolerant computing, application specific integrated circuits, synchronisation, hypercube networks, distributed networks, phased locked loops, fault tolerant systems, Byzantine faults, synchronous programs, ASIC design
29Gianfranco Ciardo, Christoph Lindemann Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets". Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF self-stabilizing clock synchronization, deterministic and stochastic Petri net, fault-tolerant clock synchronisation systems, clocking modules, software package DSPNexpress, performance evaluation, Petri nets, fault tolerant computing, synchronisation, stochastic processes, stochastic Petri nets, steady-state analysis
29Divyakant Agrawal, Soumitra Sengupta Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions
29Parameswaran Ramanathan, Dilip D. Kandlur, Kang G. Shin Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF hardware assisted software clock synchronisation, homogeneous distributed systems, software algorithm, worst-cast skews, message transit delay, point-to-point broadcast algorithms, mesh interconnection structures, software engineering, distributed processing, hypercube, synchronisation
29Nagesh 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
29Antony Jamin, Petri Mähönen Mueller & Müller algorithm based synchronisation for wavelet packet modulation. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multicarrier symbol alignment, synchronisation algorithm, wavelet packet modulation
29Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
29Paul Breugnot Distribution et synchronisation des simulations de Systèmes Multi-Agents. (Distribution and synchronisation of Multi-Agent Systems). Search on Bibsonomy 2023   RDF
29José Miguel Fernandez Vers un système unifié d'interaction et de synchronisation en composition électroacoustique et mixte: partitions électroniques centralisées. (Towards a unified system of interaction and synchronisation in electroacoustic and mixed composition: centralised electronic scores). Search on Bibsonomy 2021   RDF
29Adel Ouannas, Ahmad Taher Azar, Sundarapandian Vaidyanathan New hybrid synchronisation schemes based on coexistence of various types of synchronisation between master-slave hyperchaotic systems. Search on Bibsonomy Int. J. Comput. Appl. Technol. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Vincenzo Mastandrea Analysis of synchronisation patterns in active object based on behavioural types. (Analyse de synchronisation dans les objets actifs basée sur les types comportementaux). Search on Bibsonomy 2017   RDF
29Sven Haar Synchronisation und Entzerrung für einzelträgerbasierte leitungsgebundene Übertragungssysteme (Synchronisation und Equalization for single carrier based wireline transmission systems) Search on Bibsonomy 2014   RDF
25Jan D. Gehrke, Arne Schuldt Incorporating knowledge about interaction for uniform agent design for simulation and operation. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF communication, agents, multiagent systems, synchronisation, interaction protocols, multiagent-based simulation
25Uwe Altmann, Rico Hermkes, Lutz-Michael Alisch Analysis of Nonverbal Involvement in Dyadic Interactions. Search on Bibsonomy COST 2102 Workshop (Vietri) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nonverbal involvement, synchronisation, conflict
25Quan Pham, Adrian McCullagh, Ed Dawson Consistency of User Attribute in Federated Systems. Search on Bibsonomy TrustBus The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Attribute Synchronisation, Access Control, Role Based Access Control, Delegation, Identity Management, Federation, Federated System
25Adrian von Bidder, Nathalie Weiler Key Exchange (KX) - A Next Generation Protocol to Synchronise PGP Keyservers. Search on Bibsonomy WETICE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Secure Synchronisation Protocol, E-Mail Security, OpenPGP, Keyserver
25Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings Ensuring consistency in the joint beliefs of interacting agents. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF interaction state, agent, protocol, synchronisation, belief
25Dino Giuli, Franco Pirri, Paolo Bussotti Orchestra!: A Distributed Platform for Virtual Musical Groups and Music Distance Learning over the Internet in Java Technology. Search on Bibsonomy ICMCS, Vol. 2 The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Musical group synchronisation, collaborative systems, Internet service
25Nasser Kalantery Parallel discrete event processing of sequential computations. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF parallel discrete event processing, discrete event methods, sequential software parallelization, optimistic execution strategy, temporal coordinate system, logical time mechanism, adaptive synchronisation, data dependent parallelism, conditional parallelism, coherency violation, coarse grain mapping, parallel discrete event simulation, program control structures, program control structure, sequential computations
25Monika Kapus-Kolar Employing disruptions for more efficient functionality decomposition in LOTOS. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functionality decomposition transformation, Basic LOTOS specifications, external behaviour, expected service, specified service actions, pairwise communication, common actions, unbounded reliable first in first out channels, inter component communication, synchronisation message receptions, specification languages, disruptions
25Ludwik Kuzniarz, Maciej Piasecki An abstract model for temporal composition of multimedia data. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal composition, composed data, synchronisation points, technical standard, MME, RIFF structures, data model, multimedia systems, multimedia stream, multimedia computing, multimedia data, abstract model, SML
25Dan Vodislav Visual Programming for Animation in User Interfaces. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF HandMove system, classical interface builder, path-oriented animation, time signals, application values, event-based synchronisation, position attribute constraints, interactive animation specification, user interfaces, formal specification, animation, graphical user interfaces, visual programming, visual programming, computer animation, user interface management systems, user input
25Jan-Hendrik Schleimer, Ricardo Vigário Clustering Limit Cycle Oscillators by Spectral Analysis of the Synchronisation Matrix with an Additional Phase Sensitive Rotation. Search on Bibsonomy ICANN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Daniel Pooley, Michael J. Brooks, Anton van den Hengel RATSAC: An Adaptive Method for Accelerated Robust Estimation and its Application to Video Synchronisation. Search on Bibsonomy DICTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Michael Lees, Brian S. Logan 0001, Dan Chen, Ton Oguara, Georgios Theodoropoulos 0001 Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems. Search on Bibsonomy PADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Cristina Campos, Reyes Grangel, Ricardo Chalmeta, Óscar Coltell Requirements to Improve the Synchronisation of Inter-enterprise Models. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Jefferson D. Montgomery, Alan K. Mackworth Adaptive Synchronisation for a RoboCup Agent. Search on Bibsonomy RoboCup The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Vesselin K. Vassilev, Julian F. Miller, Terence C. Fogarty Co-Evolving Demes of Non-Uniform Cellular Automata for Synchronisation. Search on Bibsonomy Evolvable Hardware The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee Synchronisation Analysis to Stop Tulping. Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Brigitte Biebow, Jacques Hagelstein Algebraic Specification of Synchronisation and Errors: A Telephonic Example. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
20Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
20Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro Modeling Concurrent Systems with Shared Resources. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Concurrency, Validation, Shared resource
20Robert Colvin, Ian J. Hayes CSP with Hierarchical State. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Antonio M. Vidal, Murilo Boratto, Pedro Alonso 0002 A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Nalaka Gooneratne, Zahir Tari, James Harland VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Marcus Völp Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information flow, language-based security
20Paolo D'Arco, Alfredo De Santis Weaknesses in a Recent Ultra-Lightweight RFID Authentication Protocol. Search on Bibsonomy AFRICACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Kurt Jensen, Lars Michael Kristensen, Lisa Wells Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
20Roberto Esposti, Paolo Cavallari, Fausto Baldissera Feedback control of the limbs position during voluntary rhythmic oscillation. Search on Bibsonomy Biol. Cybern. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Hany Elgala, Raed Mesleh, Harald Haas, Bogdan Pricope OFDM Visible Light Wireless Communication Based on White LEDs. Search on Bibsonomy VTC Spring The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Bernhard Scholz, Mohamed Medhat Gaber, Tim Dawborn, Raymes Khoury, Edmund Tse Efficient Time Triggered Query Processing in Wireless Sensor Networks. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Wireless communications and ad hoc networks, communication and energy optimisations, time triggered protocols, distributed query processing
20Sunil John, John P. Morrison Garbage Collection in Object Oriented Condensed Graphs. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed and Parallel Computing, Software Engineering, Object Oriented Systems, Condensed Graphs
20Jean-Julien Aucouturier, Yuta Ogai, Takashi Ikegami Making a Robot Dance to Music Using Chaotic Itinerancy in a Network of FitzHugh-Nagumo Neurons. Search on Bibsonomy ICONIP (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1493 (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