|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance 2001, June 16-20, 2001, Cambridge, MA, USA, pp. 320-321, 2001, ACM, 1-58113-334-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
116 | Thanasis Hadzilacos, Vassos Hadzilacos |
Transaction Synchronisation in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 193-200, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
75 | David Holmes, James Noble 0001, John Potter |
Aspects of Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 2-14, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrency, object-oriented, synchronisation, aspect-oriented |
70 | Zair Abdelouahab, Peter M. Dew |
Programming concurrency and synchronisation in Actel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 189-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2000: Robot Soccer World Cup IV, pp. 119-128, 2000, Springer, 3-540-42185-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
59 | Antonello D'Aguanno, Giancarlo Vercellesi |
Automatic Synchronisation Between Audio and Score Musical Description Layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMT ![In: Semantic Multimedia, Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, Proceedings, pp. 200-210, 2007, Springer, 978-3-540-77033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IEEE P1599, MX, synchronisation, MIDI, PCM |
59 | Alan Stewart, Maurice Clint, Joaquim Gabarró |
Barrier synchronisation: Axiomatisation and relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(1), pp. 36-50, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING ![In: NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications, Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002, Proceedings, pp. 1165-1171, 2002, Springer, 3-540-43709-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 360-366, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS ![In: Interactive Distributed Multimedia Systems and Telecommunication Services, 7th International Workshop, IDMS 2000, Enschede, The Netherlands, October 17-20, 2000, Proceedings, pp. 65-76, 2000, Springer, 3-540-41130-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Gianluigi Bellin |
Chu's Construction: A Proof-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 89-109, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Mads Dam |
Proof Systems for π-Calculus Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 145-212, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Colin Stirling |
Bisimulation and Language Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 269-284, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
Geometry of Deduction Via Graphs of Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 3-88, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | David Déharbe |
A Tutorial Introduction to Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 215-237, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Gianluigi Bellin |
Two Paradigms of Logical Computation in Affine Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 111-144, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Mario R. F. Benevides |
Modal Logics for Finite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 239-267, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Soraya Zertal, Claude Timsit, Majed Chatti |
Communication/synchronisation mechanism for multiprocessor on Chip architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), July 5-8, Sousse, Tunisia, pp. 62-66, 2009, IEEE Computer Society, 978-1-4244-4672-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Ying Tan, Scott A. Leyonhjelm, Mike Faulkner |
Timing Synchronisation for OFDM-WLANs with Time Averaging Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 1942-1946, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Pawel T. Wojciechowski, Olivier Rütti, André Schiper |
SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Andrei Sabelfeld |
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 225-239, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Santi Chillemi, Michele Barbi, Angelo Di Garbo |
Synchronisation Mechanisms in Neuronal Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I, pp. 87-94, 2001, Springer, 3-540-42235-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | H. B. M. Jonkers |
Communication and Synchronisation Using Interaction Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1321-1342, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Meiliu Lu, Du Zhang, Tadao Murata |
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(5), pp. 597-604, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: 7th International Symposium on Wearable Computers (ISWC 2003), 21-23 October 2003, White Plains, NY, USA, pp. 79-87, 2003, IEEE Computer Society, 0-7695-2034-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Frank Tewissen, Nelson A. Baloian, Heinz Ulrich Hoppe, Erich Reimberg |
"MatchMaker": Synchronising Objects in Replicated Software-Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 60-67, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 95-104, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 163-172, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 635-644, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: MoMM'2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 540-544, 2009, ACM, 978-1-60558-659-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(5-6), pp. 550-575, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(1), pp. 27-41, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 411-425, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 328-337, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, synchronisation, threads, Concurrent object-oriented programming, guards |
35 | Henry Larkin |
Applying Concurrent Versioning to Serverless Mobile Device Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 157-162, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Maxim Gitlits, Jackson Yin, Paul Kubik |
Synchronisation and Timing Groups for GSM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 1132-1135, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Qingsong Ye, Anthony M. Sloane, Dominic R. Verity |
Analysis, Specification and Generation of Mobile Computer Data Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: 2005 International Conference on Mobile Business (ICMB 2005), 11-13 July 2005, Sydney, Australia, pp. 499-506, 2005, IEEE Computer Society, 0-7695-2367-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 128-142, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens |
Qualifying Types Illustrated by Synchronisation Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetObjectDays ![In: Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers, pp. 330-344, 2002, Springer, 3-540-00737-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Philippas Tsigas, Yi Zhang 0004 |
Integrating non-blocking synchronisation in parallel applications: performance advantages and methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 55-66, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 7-9 August 2001, San Francisco, CA, USA, pp. 67-75, 2001, IEEE Computer Society, 0-7695-1296-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Mário de Sousa, Adriano Carvalho 0001 |
Mapping Synchronisation Protocols onto RT CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: International Symposium on Distributed Objects and Applications, DOA 2000, Antwerp, Belgium, September 21-23, 2000, pp. 89-, 2000, IEEE Computer Society, 0-7695-0819-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Santi Chillemi, Michele Barbi, Angelo Di Garbo |
Synchronisation in a Network of FHN Units with Synaptic-Like Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Foundations and Tools for Neural Modeling, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I, pp. 230-239, 1999, Springer, 3-540-66069-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1364-1383, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Hugh McEvoy |
Context sensitivity and synchronisation as taxonomics for parallel languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 369-378, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Pedro Fonseca 0003, Zoubir Mammeri |
A Framework for the Analysis of Non-Deterministic Clock Synchronisation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings, pp. 159-174, 1996, Springer, 3-540-61769-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Simon Bliudze, Joseph Sifakis |
The algebra of connectors: structuring interaction in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 11-20, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOCOMM ![In: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, pp. 17, 2007, ICST/ACM, 978-963-9799-08-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001 |
Proving correctness of highly-concurrent linearisable objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 129-136, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 216-224, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2003, Sanibel Island, Florida, USA, November 9-12, 2003, pp. 212-220, 2003, ACM, 1-58113-693-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture-Based Communication in Human-Computer Interaction, 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers, pp. 172-179, 2003, Springer, 3-540-21072-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Philippas Tsigas, Yi Zhang 0004 |
The Non-blocking Programming Paradigm in Large Scale Scientific Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 1114-1124, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Jon M. Kerridge, Peter H. Welch, David Wood |
Synchronization Primitives for Highly Parallel Discrete Event Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Alan Stewart, Maurice Clint |
Synchronising Asynchronous Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 511-520, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Arnold Neville Pears, Rhys S. Francis |
Barrier Semantics in Very Weak Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 728-731, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Bülent Abali, Craig B. Stunkel |
Time synchronization on SP1 and SP2 parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 666-672, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(10), pp. 1175-1183, 1994. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(12), pp. 1453-1456, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(1), pp. 126-137, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(4), pp. 514-524, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(4), pp. 440-448, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2006, Vancouver, British Columbia, Canada, July 3-6, 2006, pp. 1195-1200, 2006, ACM, 1-59593-306-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 371-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 55(2), pp. 112-120, 2017. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
29 | Sven Haar |
Synchronisation und Entzerrung für einzelträgerbasierte leitungsgebundene Übertragungssysteme (Synchronisation und Equalization for single carrier based wireline transmission systems) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
25 | Jan D. Gehrke, Arne Schuldt |
Incorporating knowledge about interaction for uniform agent design for simulation and operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1175-1176, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Workshop (Vietri) ![In: Verbal and Nonverbal Communication Behaviours, COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers, pp. 37-50, 2007, Springer, 978-3-540-76441-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nonverbal involvement, synchronisation, conflict |
25 | Quan Pham, Adrian McCullagh, Ed Dawson |
Consistency of User Attribute in Federated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business, 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 165-177, 2007, Springer, 978-3-540-74408-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria, pp. 249-254, 2003, IEEE Computer Society, 0-7695-1963-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 662-669, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 987-988, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Musical group synchronisation, collaborative systems, Internet service |
25 | Nasser Kalantery |
Parallel discrete event processing of sequential computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 67-72, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 464-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 448-455, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 131-, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I, pp. 944-953, 2007, Springer, 978-3-540-74689-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2007, 3-5 December 2007, Adelaide, Australia, pp. 294-300, 2007, IEEE Computer Society, 0-7695-3067-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 37-44, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Cristina Campos, Reyes Grangel, Ricardo Chalmeta, Óscar Coltell |
Requirements to Improve the Synchronisation of Inter-enterprise Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers, pp. 353-362, 2005, 3-540-32595-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jefferson D. Montgomery, Alan K. Mackworth |
Adaptive Synchronisation for a RoboCup Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2002: Robot Soccer World Cup VI, pp. 135-149, 2002, Springer, 3-540-40666-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 1st NASA / DoD Workshop on Evolvable Hardware (EH '99), July 19-21, 1999, Pasadena, CA, USA, pp. 111-119, 1999, IEEE Computer Society, 0-7695-0256-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
Synchronisation Analysis to Stop Tulping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 75-89, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Brigitte Biebow, Jacques Hagelstein |
Algebraic Specification of Synchronisation and Errors: A Telephonic Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE), pp. 294-308, 1985, Springer, 3-540-15199-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 223-240, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 102-116, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Verification, Concurrency, Validation, Shared resource |
20 | Robert Colvin, Ian J. Hayes |
CSP with Hierarchical State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 118-135, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 464-468, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nalaka Gooneratne, Zahir Tari, James Harland |
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 585-591, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marcus Völp |
Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 268-275, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICACRYPT ![In: Progress in Cryptology - AFRICACRYPT 2008, First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings, pp. 27-39, 2008, Springer, 978-3-540-68159-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(3-4), pp. 213-254, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 97(2), pp. 123-136, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Hany Elgala, Raed Mesleh, Harald Haas, Bogdan Pricope |
OFDM Visible Light Wireless Communication Based on White LEDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 2185-2189, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 391-402, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 860-869, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II, pp. 647-656, 2007, Springer, 978-3-540-69159-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|