Stem synchronis$ (all stems)
27 papers:
PPoPP-2015-CogumbreiroHMY #concurrent #verification- Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
SEFM-2013-OliveiraJW #csp #multi #protocol- A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.
AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.
DATE-2012-GerdesKURS #realtime- Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.
PLDI-2012-SarkarMOBSMAW #c #c++- Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
KEOD-2012-Ohlbach #java #named #owl- Java2OWL: A System for Synchronising Java and OWL (HJO), pp. 15–24.
CAV-2012-HagueL #analysis #bound #parallel #source code #thread- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
TACAS-2011-KieferW #on the #parallel #probability #process #source code- On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
CAiSE-2011-SpindlerLNGN #using- Using Synchronised Tag Clouds for Browsing Data Collections (AdS, SL, MN, MG, MCN), pp. 214–228.
ICEIS-v4-2011-SivasankariMKVP #energy #mobile #multi #network #performance- Multiple Mobile Synchronised Sinks (MMSS) for Energy Efficiency and Lifetime Maximization in Wireless Sensor Networks (HS, VM, KS, KRV, LMP), pp. 76–85.
- SEFM-2008-IzadiBC #component #modelling
- Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.
ICGT-2008-Hammoudeh #clustering #modelling #network- Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement (MH), pp. 490–492.
ICMT-2008-HettelLR- Model Synchronisation: Definitions for Round-Trip Engineering (TH, ML, KR), pp. 31–45.
- ICEIS-ISAS-2006-BainaPB #concept #modelling
- A Product Oriented Modelling Concept — Holons for Systems Synchronisation and Interoperability (SB, HP, KB), pp. 19–26.
- CAiSE-2004-MaidenJMGR #case study #modelling #requirements
- Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study (NAMM, SJ, SM, JG, LR), pp. 368–383.
HPDC-2001-DullmannHJSSSS #consistency #grid #modelling- Models for Replica Synchronisation and Consistency in a Data Grid (DD, WH, FJJM, BS, HS, KS, AS), pp. 67–75.
CSL-2000-DanosK- Disjunctive Tautologies as Synchronisation Schemes (VD, JLK), pp. 292–301.
FM-v2-1999-Jonkers #communication #interactive #using- Communication and Synchronisation Using Interaction Objects (HBMJ), pp. 1321–1342.
- FM-v2-1999-SmarandacheGG #calculus #constraints #realtime #validation
- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
ESOP-1998-ChinKL #analysis- Synchronisation Analysis to Stop Tulping (WNC, SCK, TWL), pp. 75–89.
ILPS-1995-BrimGJK- Synchronisation in Scc (LB, DRG, JMJ, MK), p. 641.
PODS-1993-WongA #approach #concurrent #semantics- Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control (MHW, DA), pp. 276–287.
IWMM-1992-Puaut #distributed #garbage collection- Distributed Garbage Collection of Active Objects with No Global Synchronisation (IP), pp. 148–164.
- PODS-1988-HadzilacosH #transaction
- Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.
- JICSCP-1988-Saraswat88 #logic
- A Somewhat Logical Formulation of CLP Synchronisation Primitives (VAS), pp. 1298–1314.
SIGMOD-1985-Robinson #hardware #performance- A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.
ICALP-1983-Winskel- Synchronisation Trees (GW), pp. 695–711.
