Search results for "synchronisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
172	Philippas Tsigas, Yi Zhang 0004	Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
116	Thanasis Hadzilacos, Vassos Hadzilacos	Transaction Synchronisation in Object Bases.	PODS	1988	DBLP DOI BibTeX RDF
75	David Holmes, James Noble 0001, John Potter	Aspects of Synchronization.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	concurrency, object-oriented, synchronisation, aspect-oriented
70	Zair Abdelouahab, Peter M. Dew	Programming concurrency and synchronisation in Actel.	ICPADS	1996	DBLP DOI BibTeX RDF	Actel, concurrent object based language, performance, concurrency, object orientation, message passing, synchronisation, object-oriented languages, parallel languages
65	Marc Butler, Mikhail Prokopenko, Thomas Howard	Flexible Synchronisation within RoboCup Environment: A Comparative Analysis.	RoboCup	2000	DBLP DOI BibTeX RDF
59	Antonello D'Aguanno, Giancarlo Vercellesi	Automatic Synchronisation Between Audio and Score Musical Description Layers.	SAMT	2007	DBLP DOI BibTeX RDF	IEEE P1599, MX, synchronisation, MIDI, PCM
59	Alan Stewart, Maurice Clint, Joaquim Gabarró	Barrier synchronisation: Axiomatisation and relaxation.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Global synchronisation, Operation relaxation, High performance computing, Hoare logic, BSP
59	Valentina Lomi, Gianfranco L. Pierobon, Daniele Tonetto, Lorenzo Vangelista	Improved Initial Synchronisation in the Presence of Frequency Offset in UMTS FDD Mode.	NETWORKING	2002	DBLP DOI BibTeX RDF	cell search, Golay sequences, synchronisation, UMTS, FDD
55	Barry C. L. Leung, Peter P. K. Chiu	Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages.	PDP	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
55	Philippe Owezarski	Enforcing Multipoint Multimedia Synchronisation in Videoconferencing Applications.	IDMS	2000	DBLP DOI BibTeX RDF
50	Gianluigi Bellin	Chu's Construction: A Proof-Theoretic Approach.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	Mads Dam	Proof Systems for π-Calculus Logics.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	Colin Stirling	Bisimulation and Language Equivalence.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Geometry of Deduction Via Graphs of Proofs.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	David Déharbe	A Tutorial Introduction to Symbolic Model Checking.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	Gianluigi Bellin	Two Paradigms of Logical Computation in Affine Logic?	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
50	Mario R. F. Benevides	Modal Logics for Finite Graphs.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
45	Soraya Zertal, Claude Timsit, Majed Chatti	Communication/synchronisation mechanism for multiprocessor on Chip architectures.	ISCC	2009	DBLP DOI BibTeX RDF
45	Ying Tan, Scott A. Leyonhjelm, Mike Faulkner	Timing Synchronisation for OFDM-WLANs with Time Averaging Scheme.	VTC Spring	2006	DBLP DOI BibTeX RDF
45	Pawel T. Wojciechowski, Olivier Rütti, André Schiper	SAMOA: Framework for Synchronisation Augmented Microprotocol Approach.	IPDPS	2004	DBLP DOI BibTeX RDF
45	Andrei Sabelfeld	The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
45	Santi Chillemi, Michele Barbi, Angelo Di Garbo	Synchronisation Mechanisms in Neuronal Networks.	IWANN (1)	2001	DBLP DOI BibTeX RDF
45	H. B. M. Jonkers	Communication and Synchronisation Using Interaction Objects.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
44	Meiliu Lu, Du Zhang, Tadao Murata	Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.	IEEE Trans. Computers	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
41	Michael R. McCarthy, Henk L. Muller	RF Free Ultrasonic Positioning.	ISWC	2003	DBLP DOI BibTeX RDF
39	Frank Tewissen, Nelson A. Baloian, Heinz Ulrich Hoppe, Erich Reimberg	"MatchMaker": Synchronising Objects in Replicated Software-Architectures.	CRIWG	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
39	Gary S. H. Tan, Yong Meng Teo	Experiences in simulating a declarative multiprocessor.	Annual Simulation Symposium	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
39	John G. Cleary, Murray Pearson, Husam Kinawi	The architecture of an optimistic CPU: the WarpEngine.	HICSS (1)	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
39	Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud	Data consistency in a distributed persistent object system.	HICSS (2)	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
39	Siak Chuan Tan, Jinglan Zhang	Dynamic lock synchronisation for collaborative 3D applications.	MoMM	2009	DBLP DOI BibTeX RDF	collaboration, mobile devices, multimodal, synchronisation, 3D
39	Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Lip synchronisation, Model checking, Verification, Specification, Timed automata, Uppaal
35	Sabeur Bettaieb, Frédéric Noël	A generic architecture to synchronise design models issued from heterogeneous business tools: towards more interoperability between design expertises.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Multi-representation, Interoperability, Synchronisation, Collaborative design, Heterogeneous models
35	Cristian Versari	A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.	ESOP	2007	DBLP DOI BibTeX RDF	polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
35	Lukito Edi Nugroho, A. S. M. Sajeev	Java4P: Java with High-Level Concurrency Constructs.	ISPAN	1999	DBLP DOI BibTeX RDF	Java, synchronisation, threads, Concurrent object-oriented programming, guards
35	Henry Larkin	Applying Concurrent Versioning to Serverless Mobile Device Synchronisation.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
35	Maxim Gitlits, Jackson Yin, Paul Kubik	Synchronisation and Timing Groups for GSM Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
35	Qingsong Ye, Anthony M. Sloane, Dominic R. Verity	Analysis, Specification and Generation of Mobile Computer Data Synchronisation.	ICMB	2005	DBLP DOI BibTeX RDF
35	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas	How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
35	James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens	Qualifying Types Illustrated by Synchronisation Examples.	NetObjectDays	2002	DBLP DOI BibTeX RDF
35	Philippas Tsigas, Yi Zhang 0004	Integrating non-blocking synchronisation in parallel applications: performance advantages and methodologies.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
35	Dirk 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.	HPDC	2001	DBLP DOI BibTeX RDF
35	Mário de Sousa, Adriano Carvalho 0001	Mapping Synchronisation Protocols onto RT CORBA.	DOA	2000	DBLP DOI BibTeX RDF
35	Santi Chillemi, Michele Barbi, Angelo Di Garbo	Synchronisation in a Network of FHN Units with Synaptic-Like Coupling.	IWANN (1)	1999	DBLP DOI BibTeX RDF
35	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
35	Hugh McEvoy	Context sensitivity and synchronisation as taxonomics for parallel languages.	HICSS (1)	1997	DBLP DOI BibTeX RDF
35	Pedro Fonseca 0003, Zoubir Mammeri	A Framework for the Analysis of Non-Deterministic Clock Synchronisation Algorithms.	WDAG	1996	DBLP DOI BibTeX RDF
30	Simon Bliudze, Joseph Sifakis	The algebra of connectors: structuring interaction in BIP.	EMSOFT	2007	DBLP DOI BibTeX RDF
30	M. W. de Graaf, Ronald G. K. M. Aarts, J. Meijer, Ben J. B. Jonker	Ethernet-based communication framework for sensor integration on industrial robots.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
30	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
30	Simon 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.	SPAA	2004	DBLP DOI BibTeX RDF	DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
30	Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine	Using the transformational approach to build a safe and generic data synchronizer.	GROUP	2003	DBLP DOI BibTeX RDF	synchronization, operational transformation
30	Atid Shamaie, Alistair Sutherland	A Dynamic Model for Real-Time Tracking of Hands in Bimanual Movements.	Gesture Workshop	2003	DBLP DOI BibTeX RDF
30	Philippas Tsigas, Yi Zhang 0004	The Non-blocking Programming Paradigm in Large Scale Scientific Computations.	PPAM	2003	DBLP DOI BibTeX RDF
30	Jon M. Kerridge, Peter H. Welch, David Wood	Synchronization Primitives for Highly Parallel Discrete Event Simulations.	HICSS	1999	DBLP DOI BibTeX RDF
30	Alan Stewart, Maurice Clint	Synchronising Asynchronous Communications.	Euro-Par	1997	DBLP DOI BibTeX RDF
30	Arnold Neville Pears, Rhys S. Francis	Barrier Semantics in Very Weak Memory.	PARLE	1993	DBLP DOI BibTeX RDF
29	Bülent Abali, Craig B. Stunkel	Time synchronization on SP1 and SP2 parallel systems.	IPPS	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
29	Michael Harrington, Arun K. Somani	Synchronizing Hypercube Networks in the Presence of Faults.	IEEE Trans. Computers	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
29	Gianfranco Ciardo, Christoph Lindemann	Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".	IEEE Trans. Computers	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
29	Divyakant Agrawal, Soumitra Sengupta	Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control.	IEEE Trans. Knowl. Data Eng.	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
29	Parameswaran Ramanathan, Dilip D. Kandlur, Kang G. Shin	Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems.	IEEE Trans. Computers	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
29	Nagesh Vasanthavada, Peter N. Marinos	Synchronization of Fault-Tolerant Clocks in the Presence of Malicious Failures.	IEEE Trans. Computers	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
29	Antony Jamin, Petri Mähönen	Mueller & Müller algorithm based synchronisation for wavelet packet modulation.	IWCMC	2006	DBLP DOI BibTeX RDF	multicarrier symbol alignment, synchronisation algorithm, wavelet packet modulation
29	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan	Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.	APSEC	2001	DBLP DOI BibTeX RDF	Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
29	Paul Breugnot	Distribution et synchronisation des simulations de Systèmes Multi-Agents. (Distribution and synchronisation of Multi-Agent Systems).		2023	RDF
29	José 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).		2021	RDF
29	Adel Ouannas, Ahmad Taher Azar, Sundarapandian Vaidyanathan	New hybrid synchronisation schemes based on coexistence of various types of synchronisation between master-slave hyperchaotic systems.	Int. J. Comput. Appl. Technol.	2017	DBLP DOI BibTeX RDF
29	Vincenzo 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).		2017	RDF
29	Sven Haar	Synchronisation und Entzerrung für einzelträgerbasierte leitungsgebundene Übertragungssysteme (Synchronisation und Equalization for single carrier based wireline transmission systems)		2014	RDF
25	Jan D. Gehrke, Arne Schuldt	Incorporating knowledge about interaction for uniform agent design for simulation and operation.	AAMAS (2)	2009	DBLP BibTeX RDF	communication, agents, multiagent systems, synchronisation, interaction protocols, multiagent-based simulation
25	Uwe Altmann, Rico Hermkes, Lutz-Michael Alisch	Analysis of Nonverbal Involvement in Dyadic Interactions.	COST 2102 Workshop (Vietri)	2007	DBLP DOI BibTeX RDF	nonverbal involvement, synchronisation, conflict
25	Quan Pham, Adrian McCullagh, Ed Dawson	Consistency of User Attribute in Federated Systems.	TrustBus	2007	DBLP DOI BibTeX RDF	Attribute Synchronisation, Access Control, Role Based Access Control, Delegation, Identity Management, Federation, Federated System
25	Adrian von Bidder, Nathalie Weiler	Key Exchange (KX) - A Next Generation Protocol to Synchronise PGP Keyservers.	WETICE	2003	DBLP DOI BibTeX RDF	Secure Synchronisation Protocol, E-Mail Security, OpenPGP, Keyserver
25	Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings	Ensuring consistency in the joint beliefs of interacting agents.	AAMAS	2003	DBLP DOI BibTeX RDF	interaction state, agent, protocol, synchronisation, belief
25	Dino Giuli, Franco Pirri, Paolo Bussotti	Orchestra!: A Distributed Platform for Virtual Musical Groups and Music Distance Learning over the Internet in Java Technology.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Musical group synchronisation, collaborative systems, Internet service
25	Nasser Kalantery	Parallel discrete event processing of sequential computations.	ICPADS	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
25	Monika Kapus-Kolar	Employing disruptions for more efficient functionality decomposition in LOTOS.	EUROMICRO	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
25	Ludwik Kuzniarz, Maciej Piasecki	An abstract model for temporal composition of multimedia data.	EUROMICRO	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
25	Dan Vodislav	Visual Programming for Animation in User Interfaces.	VL	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
25	Jan-Hendrik Schleimer, Ricardo Vigário	Clustering Limit Cycle Oscillators by Spectral Analysis of the Synchronisation Matrix with an Additional Phase Sensitive Rotation.	ICANN (1)	2007	DBLP DOI BibTeX RDF
25	Daniel Pooley, Michael J. Brooks, Anton van den Hengel	RATSAC: An Adaptive Method for Accelerated Robust Estimation and its Application to Video Synchronisation.	DICTA	2007	DBLP DOI BibTeX RDF
25	Michael 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.	PADS	2006	DBLP DOI BibTeX RDF
25	Cristina Campos, Reyes Grangel, Ricardo Chalmeta, Óscar Coltell	Requirements to Improve the Synchronisation of Inter-enterprise Models.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
25	Jefferson D. Montgomery, Alan K. Mackworth	Adaptive Synchronisation for a RoboCup Agent.	RoboCup	2002	DBLP DOI BibTeX RDF
25	Vesselin K. Vassilev, Julian F. Miller, Terence C. Fogarty	Co-Evolving Demes of Non-Uniform Cellular Automata for Synchronisation.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
25	Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee	Synchronisation Analysis to Stop Tulping.	ESOP	1998	DBLP DOI BibTeX RDF
25	Brigitte Biebow, Jacques Hagelstein	Algebraic Specification of Synchronisation and Errors: A Telephonic Example.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
20	Oliver 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.	SPIN	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.	FMICS	2009	DBLP DOI BibTeX RDF	Verification, Concurrency, Validation, Shared resource
20	Robert Colvin, Ian J. Hayes	CSP with Hierarchical State.	IFM	2009	DBLP DOI BibTeX RDF
20	Antonio M. Vidal, Murilo Boratto, Pedro Alonso 0002	A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems.	ISPDC	2008	DBLP DOI BibTeX RDF
20	Nalaka Gooneratne, Zahir Tari, James Harland	VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.	ICSOC	2008	DBLP DOI BibTeX RDF
20	Marcus Völp	Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.	ARES	2008	DBLP DOI BibTeX RDF	information flow, language-based security
20	Paolo D'Arco, Alfredo De Santis	Weaknesses in a Recent Ultra-Lightweight RFID Authentication Protocol.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF
20	Kurt Jensen, Lars Michael Kristensen, Lisa Wells	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Simulation, Model checking, Verification, Performance analysis, Validation, Visualisation, Coloured Petri Nets, Discrete-event systems, State space methods, Behavioural modelling
20	Roberto Esposti, Paolo Cavallari, Fausto Baldissera	Feedback control of the limbs position during voluntary rhythmic oscillation.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
20	Hany Elgala, Raed Mesleh, Harald Haas, Bogdan Pricope	OFDM Visible Light Wireless Communication Based on White LEDs.	VTC Spring	2007	DBLP DOI BibTeX RDF
20	Bernhard Scholz, Mohamed Medhat Gaber, Tim Dawborn, Raymes Khoury, Edmund Tse	Efficient Time Triggered Query Processing in Wireless Sensor Networks.	ICESS	2007	DBLP DOI BibTeX RDF	Wireless communications and ad hoc networks, communication and energy optimisations, time triggered protocols, distributed query processing
20	Sunil John, John P. Morrison	Garbage Collection in Object Oriented Condensed Graphs.	PPAM	2007	DBLP DOI BibTeX RDF	Distributed and Parallel Computing, Software Engineering, Object Oriented Systems, Condensed Graphs
20	Jean-Julien Aucouturier, Yuta Ogai, Takashi Ikegami	Making a Robot Dance to Music Using Chaotic Itinerancy in a Network of FitzHugh-Nagumo Neurons.	ICONIP (2)	2007	DBLP DOI BibTeX RDF