|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #100 of 1493 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|