BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (81)
system (64)
program (60)
base (55)
time (51)

Stem synchron$ (all stems)

631 papers:

CASECASE-2015-KeroglouH #communication #constraints #distributed #using
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
DATEDATE-2015-AndradeMVAPL #analysis #data flow #modelling
Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATEDATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
DATEDATE-2015-MamaghaniGE #named
De-elastisation: from asynchronous dataflows to synchronous circuits (MJM, JDG, DAE), pp. 273–276.
ESOPESOP-2015-EmmiGMR #analysis #source code
Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
FASEFASE-2015-BrennerGS #distributed #on the fly #specification #synthesis
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
FASEFASE-2015-NgoTGG #compilation #validation
Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
PLDIPLDI-2015-SharmaBA #gpu #source code #verification
Verification of producer-consumer synchronization in GPU programs (RS, MB, AA), pp. 88–98.
SASSAS-2015-AlbertGG #analysis #interprocedural #source code
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization (EA, SG, PG), pp. 72–89.
CIAACIAA-2015-BrodaCFM #algebra
Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.
CIAACIAA-2015-GusevS #graph #on the
On the Number of Synchronizing Colorings of Digraphs (VVG, MS), pp. 127–139.
CIAACIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
LATALATA-2015-GonzeJ #on the #probability
On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.
FMFM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
CHICHI-2015-CurmiFWM #crowdsourcing
Crowdsourcing Synchronous Spectator Support: (go on, go on, you’re the best)n-1 (FC, MAF, JW, F'M), pp. 757–766.
CSCWCSCW-2015-CoetzeeLFHH #interactive #learning #scalability
Structuring Interactions for Large-Scale Synchronous Peer Learning (DC, SL, AF, BH, MAH), pp. 1139–1152.
HCIDUXU-UI-2015-KaltenthalerLKM #data transformation #integration #user interface #visual notation
Synchronized Data Management and Its Integration into a Graphical User Interface for Archaeological Related Disciplines (DK, JYL, PK, CHvdM, HO), pp. 317–329.
HCIHCI-IT-2015-KinemuchiKY
Synchronization Between Utterance Rhythm and Body Movement in a Two-Person Greeting (KK, HK, TY), pp. 305–316.
HCIHCI-IT-2015-MakiyamaNKNSK #interactive #smarttech
Synchronization of Peripheral Vision and Wearable Sensors for Animal-to-Animal Interaction (KM, KN, MK, MN, KS, HHK), pp. 753–764.
ICMLICML-2015-HsiehYD #named #parallel #probability
PASSCoDe: Parallel ASynchronous Stochastic dual Co-ordinate Descent (CJH, HFY, ISD), pp. 2370–2379.
MODELSMoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
MODELSMoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
SACSAC-2015-DieumegardGKTT #compilation #contract
Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
SACSAC-2015-IglesiaJGP #parallel
Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.
SACSAC-2015-RighiVRRCFA #parallel #source code
Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids (RdRR, AV, VFR, GR, CAdC, KF, AMA), pp. 501–504.
SACSAC-2015-VielMT #approach #multi
An approach for controlling synchronous remote instances of a multimedia presentation (CCV, ELM, CACT), pp. 1285–1290.
ESEC-FSEESEC-FSE-2015-GuJSZL #concurrent #thread #what
What change history tells us about thread synchronization (RG, GJ, LS, LZ, SL), pp. 426–438.
ASPLOSASPLOS-2015-MorrisonA #bound #symmetry
Temporally Bounding TSO for Fence-Free Asymmetric Synchronization (AM, YA), pp. 45–58.
ASPLOSASPLOS-2015-OrrCYBHW #using
Synchronization Using Remote-Scope Promotion (MSO, SC, AY, BMB, MDH, DAW), pp. 73–86.
ASPLOSASPLOS-2015-SungA #named #performance
DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
CCCC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CGOCGO-2015-KimHSLH #architecture #concurrent #cpu #modelling #programming #scheduling #thread
Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.
PPoPPPPoPP-2015-Gramoli #algorithm #concurrent #impact analysis
More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms (VG), pp. 1–10.
PPoPPPPoPP-2015-McPhersonNSC #detection #legacy #source code
Fence placement for legacy data-race-free programs via synchronization read detection (AJM, VN, SS, MC), pp. 249–250.
SOSPSOSP-2015-MatveevSFM #concurrent #lightweight #named #programming
Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.
CAVCAV-2015-CernyCHRRST #scheduling #synthesis #using
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
CAVCAV-2015-DesaiSQBE #abstraction #approximate #distributed
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
LICSLICS-2015-LagoFVY #parallel
Parallelism and Synchronization in an Infinitary Context (UDL, CF, BV, AY), pp. 559–572.
VMCAIVMCAI-2015-GanjeiREP #process
Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
DATEDATE-2014-BraojosDBAA #approach #hardware #manycore #power management
Hardware/software approach for code synchronization in low-power multi-core sensor nodes (RB, AYD, IB, GA, DA), pp. 1–6.
DATEDATE-2014-ZhuGBS #data flow #graph #scheduling
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
ITiCSEITiCSE-2014-PullenM #education #evolution #online
Evolving synchronous online graduate CS education (JMP, PMM), p. 335.
ESOPESOP-2014-AguadoMHF #concurrent #programming
Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
FASEFASE-2014-KrauseTG #graph transformation #implementation #parallel
Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FoSSaCSFoSSaCS-2014-0001MS #markov #process
Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FoSSaCSFoSSaCS-2014-FerlezCM
Generalized Synchronization Trees (JF, RC, SM), pp. 304–319.
ICSMEICSME-2014-TaoQ #analysis #concurrent #java #refactoring #source code
Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis (BT, JQ), pp. 361–370.
PLDIPLDI-2014-HanxledenDMSMAMO #named #safety
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
AFLAFL-2014-Ivan #automaton
Synchronizing weighted automata (SI), pp. 301–313.
AFLAFL-2014-Vorel #automaton #set #transitive
Subset Synchronization of Transitive Automata (VV), pp. 370–381.
DLTDLT-2014-AlmeidaR #automaton
Semisimple Synchronizing Automata and the Wedderburn-Artin Theory (JA, ER), pp. 49–60.
DLTDLT-2014-Berlinkov #algorithm #automaton #on the #problem
On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
DLTDLT-2014-Gusev #automaton #random
Synchronizing Automata with Random Inputs — (Short Paper) (VVG), pp. 68–75.
FMFM-2014-BaeOM #analysis #multi #semantics
Definition, Semantics, and Analysis of Multirate Synchronous AADL (KB, PCÖ, JM), pp. 94–109.
HCIHCI-TMT-2014-LizanoSS #agile #case study #testing #usability
Integrating Usability Evaluations into Scrum: A Case Study Based on Remote Synchronous User Testing (FL, MMS, JS), pp. 500–509.
HCIHCI-TMT-2014-SzklannySWCW #interface #metaprogramming #named #performance
SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
EDOCEDOC-2014-Pufahl0W #process
Batch Regions: Process Instance Synchronization Based on Data (LP, AM, MW), pp. 150–159.
KDDKDD-2014-JiangCBFY #behaviour #graph #named #scalability
CatchSync: catching synchronized behavior in large directed graphs (MJ, PC, AB, CF, SY), pp. 941–950.
SEKESEKE-2014-ChenS #education #online #re-engineering
Supporting Online Synchronous Education for Software Engineering via Web-based Operation Record and Replay (DC, YS), pp. 528–533.
SEKESEKE-2014-DingSZ #development #protocol
Development of A Sliding Window Protocol for Data Synchronization in a Flow Cytometer (JD, YS, DZ), pp. 626–631.
ECMFAECMFA-2014-AnjorinRDS #graph grammar #performance
Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
ICMTICMT-2014-BlouinPDSD #case study #experience #graph grammar #modelling
Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report (DB, AP, PD, FS, JPD), pp. 106–121.
ICMTICMT-2014-DiskinWGC #symmetry #taxonomy #towards
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
ICMTICMT-2014-OrejasP #correctness #graph grammar #incremental
Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
ECOOPECOOP-2014-ImamS #parallel #scheduling
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns (SMI, VS), pp. 618–643.
OOPSLAOOPSLA-2014-Desai0M #proving #reduction #source code #using
Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
SACSAC-2014-OliveiraO #analysis #kernel #linux
Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
SACSAC-2014-WangWPSC #collaboration #network #process
A collaborative processes synchronization method with regards to system crashes and network failures (LW, AW, LFP, MvS, CC), pp. 1393–1398.
SACSAC-2014-ZeilemakerSP #network #scalability
Large-scale message synchronization in challenged networks (NZ, BS, JAP), pp. 481–488.
ICSEICSE-2014-XuanF #development
Building it together: synchronous development in OSS (QX, VF), pp. 222–233.
HPCAHPCA-2014-KarnagelDRLLSL #database #in memory #performance #transaction
Improving in-memory database index performance with Intel® Transactional Synchronization Extensions (TK, RD, RR, KL, TL, BS, WL), pp. 476–487.
HPDCHPDC-2014-DaiCKRZ #framework #incremental #named
Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
LICSLICS-CSL-2014-LagoFHY #geometry
The geometry of synchronization (UDL, CF, IH, AY), p. 10.
VMCAIVMCAI-2014-SchwarzSVA #analysis #precise #source code
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
CASECASE-2013-ChaouiS13a #adaptation
Electrical sensorless adaptive control of permanent magnet synchronous machine drives (HC, PS), pp. 705–710.
DATEDATE-2013-DoganBCABA #analysis #embedded #execution #multi #power management
Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms (AYD, RB, JC, GA, AB, DA), pp. 396–399.
DATEDATE-2013-HanxledenMADFMMO #concurrent
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
DATEDATE-2013-JooyaB #power management #using
Using synchronization stalls in power-aware accelerators (AJ, AB), pp. 400–403.
DATEDATE-2013-KimYIBS #manycore #realtime #scheduling
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
DATEDATE-2013-LeeVTS #design #energy #performance
Design of low energy, high performance synchronous and asynchronous 64-point FFT (WL, VSV, ART, KSS), pp. 242–247.
DATEDATE-2013-MandalKM
Exploring topologies for source-synchronous ring-based network-on-chip (AM, SPK, RNM), pp. 1026–1031.
DATEDATE-2013-ThabetLAPD #architecture #flexibility #hardware #manycore #performance
An efficient and flexible hardware support for accelerating synchronization operations on the STHORM many-core architecture (FT, YL, CA, JMP, RD), pp. 531–534.
DATEDATE-2013-YuZHWLT #approach #manycore #set #simulation
A critical-section-level timing synchronization approach for deterministic multi-core instruction set simulations (FWY, BHZ, YHH, HIW, CRL, RST), pp. 643–648.
DATEDATE-2013-ZhuDNZ #finite #implementation #robust #state machine
Robust and extensible task implementations of synchronous finite state machines (QZ, PD, MDN, HZ), pp. 1319–1324.
DocEngDocEng-2013-JansenCB #distributed #documentation #multi #social
Multimedia document synchronization in a distributed social context (JJ, PC, DCAB), pp. 273–276.
CIAACIAA-J-2012-Berlinkov13 #automaton #clustering
Synchronizing quasi-Eulerian and quasi-One-Cluster Automata (MVB), pp. 729–746.
CIAACIAA-J-2012-FominykhMV13
P(L)Aying for Synchronization (FMF, PVM, MVV), pp. 765–780.
CIAACIAA-J-2012-IbarraT13 #automaton #how #multi
How to synchronize the Heads of a Multitape Automaton (OHI, NQT), pp. 799–814.
DLTDLT-2013-GocSS #complexity
Subword Complexity and k-Synchronization (DG, LS, JS), pp. 252–263.
SEFMSEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
ICEISICEIS-v2-2013-Monte-AltoTH #bibliography #legacy #tool support
A Survey of Tools for Mapping and Synchronization of Knowledge from Legacy Systems (HHLCMA, LOT, EHMH), pp. 157–164.
SEKESEKE-2013-Plante #web #web service
Synchronized Data Acquisition from Web Services Serving at Disparate Rates (DRP), pp. 542–547.
BXBX-2013-OrejasBE0S #concurrent #on the
On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.
ICMTICMT-2013-RestWSSV #editing #realtime #robust #visual notation
Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
PPDPPPDP-2013-MandelPP #functional #refinement
Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
SACSAC-2013-FanTCS #embedded #energy #manycore #realtime
Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
ICSEICSE-2013-MarinoHDVTV #concurrent #detection #source code
Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
HPCAHPCA-2013-LustigM #cpu #fine-grained #gpu #latency
Reducing GPU offload latency via fine-grained CPU-GPU synchronization (DL, MM), pp. 354–365.
PPoPPPPoPP-2013-CaiZWC #detection #named #parallel #source code #thread
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
PPoPPPPoPP-2013-DiamosWWLY #algorithm #multi #relational
Relational algorithms for multi-bulk-synchronous processors (GFD, HW, JW, AL, SY), pp. 301–302.
PPoPPPPoPP-2013-YanLZ #algorithm #named #performance
StreamScan: fast scan algorithms for GPUs without global barrier synchronization (SY, GL, YZ), pp. 229–238.
SOSPSOSP-2013-DavidGT
Everything you always wanted to know about synchronization but were afraid to ask (TD, RG, VT), pp. 33–48.
CSLCSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
RTARTA-2013-BoichutCR #approximate
Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
CBSECBSE-2012-MartinezV #approach #component #realtime
An MDE approach to address synchronization needs in component-based real-time systems (PLM, TV), pp. 125–134.
CASECASE-2012-KimCLK #fault #framework #monitoring #process
Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
DACDAC-2012-ChoiOKH #architecture #data flow #graph #manycore
Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.
DACDAC-2012-HuangLWT #interface
A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DACDAC-2012-MurilloEJYLA #hybrid #simulation
Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DATEDATE-2012-AbellanPABBMB #clustering #communication #design #framework
Design of a collective communication infrastructure for barrier synchronization in cluster-based nanoscale MPSoCs (JLA, JFP, MEA, DB, DB, AM, LB), pp. 491–496.
DATEDATE-2012-DamavandpeymaSBGC #data flow #graph #modelling
Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATEDATE-2012-KimA #interface
On-chip source synchronous interface timing test scheme with calibration (HK, JAA), pp. 1146–1149.
DATEDATE-2012-MandalKM #design #performance
A fast, source-synchronous ring-based network-on-chip design (AM, SPK, RNM), pp. 1489–1494.
DATEDATE-2012-NataleZ #finite #implementation #state machine
Task implementation of synchronous finite state machines (MDN, HZ), pp. 206–211.
DATEDATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification
Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATEDATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
FASEFASE-2012-HermannEEO #concurrent #graph grammar
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.
CIAACIAA-2012-Berlinkov #automaton
Synchronizing Automata on Quasi-Eulerian Digraph (MVB), pp. 90–100.
CIAACIAA-2012-FominykhV
P(l)aying for Synchronization (FMF, MVV), pp. 159–170.
CIAACIAA-2012-Gusev #automaton #bound #rank
Synchronizing Automata of Bounded Rank (VVG), pp. 171–179.
CIAACIAA-2012-IbarraT #automaton #how #multi
How to Synchronize the Heads of a Multitape Automaton (OHI, NQT), pp. 192–204.
CIAACIAA-2012-Martyugin #ambiguity #automaton
Synchronization of Automata with One Undefined or Ambiguous Transition (PVM), pp. 278–288.
DLTDLT-2012-BuchseMV #semantics
Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars (MB, AM, HV), pp. 368–379.
DLTDLT-2012-HolzerJM #context-free grammar
Generalized Derivations with Synchronized Context-Free Grammars (MH, SJ, IM), pp. 109–120.
ICALPICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, , AI), pp. 30–41.
LATALATA-2012-IbarraT #automaton #multi #turing machine
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (OHI, NQT), pp. 337–350.
LATALATA-2012-Roman
P-NP Threshold for Synchronizing Road Coloring (AR), pp. 480–489.
ICGTICGT-2012-LauderAVS #graph grammar #performance #precedence
Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.
CHICHI-2012-NakamuraM #development #evaluation #interactive #visual notation
Development and evaluation of interactive system for synchronizing electric taste and visual content (HN, HM), pp. 517–520.
AdaEuropeAdaEurope-2012-MartinezV #component #development #modelling #requirements
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development (PLM, TV), pp. 89–104.
HILTHILT-2012-Bosch #library
Synchronization cannot be implemented as a library (GB), pp. 73–80.
EDOCEDOC-2012-WangWPSC #process
A State Synchronization Mechanism for Orchestrated Processes (LW, AW, LFP, MvS, CC), pp. 51–60.
SIGIRSIGIR-2012-WhiteR #difference #social
Effects of expertise differences in synchronous social Q&A (RWW, MR), pp. 1055–1056.
MODELSMoDELS-2012-SchulzeCA #approach #modelling #uml
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
MODELSMoDELS-2012-SchulzeCA #approach #modelling #uml
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
POPLPOPL-2012-BotincanDJ #abduction
Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
SACSAC-2012-AtifMO #detection #verification
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems (MA, MRM, AO), pp. 478–485.
SACSAC-2012-ProencaCVA #coordination #distributed #framework #named
Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
HPCAHPCA-2012-SeguljaA #architecture #parallel #programming
Architectural support for synchronization-free deterministic parallel programming (CS, TSA), pp. 337–348.
LCTESLCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
PPoPPPPoPP-2012-FatourouK
Revisiting the combining synchronization technique (PF, NDK), pp. 257–266.
PPoPPPPoPP-2012-KosterMD
Synchronization views for event-loop actors (JDK, SM, TD), pp. 317–318.
IJCARIJCAR-2012-AnantharamanELNR #unification
Unification Modulo Synchronous Distributivity (SA, SE, CL, PN, MR), pp. 14–29.
ISSTAISSTA-2012-HongAPKH #concurrent #source code #testing
Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
DACDAC-2011-EisenbergAS
In silico synchronization of cellular populations through expression data deconvolution (ME, JNA, DSG), pp. 812–817.
DACDAC-2011-JiangRP
Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
DACDAC-2011-KernZSNT #network
Accuracy of ethernet AVB time synchronization under varying temperature conditions for automotive networks (AK, HZ, TS, JN, JT), pp. 597–602.
DACDAC-2011-KuoSR #analysis #performance #reachability #source code #using
Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.
DATEDATE-2011-AndalamRG #analysis #source code
Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.
DATEDATE-2011-FuWT #approach #manycore #performance #simulation
A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems (CYF, MHW, RST), pp. 347–352.
DATEDATE-2011-TraulsenAH #c #compilation
Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
DATEDATE-2011-YehHWL #framework #simulation
Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
ICDARICDAR-2011-ZhuN11b #online #recognition #using
Trie-Lexicon-Driven Recognition for On-line Handwritten Japanese Disease Names Using a Time-Synchronous Method (BZ, MN), pp. 1130–1134.
VLDBVLDB-2011-MorfoniosCGBDDW #consistency
Consistent Synchronization Schemes for Workload Replay (KM, RC, LG, SB, BD, KD, YW), pp. 1225–1236.
ITiCSEITiCSE-2011-PullenC #education #open source
Moodle-integrated open source synchronous teaching (JMP, NKC), p. 353.
FoSSaCSFoSSaCS-2011-GhicaM #abstraction #game studies #semantics
Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.
PLDIPLDI-2011-BestMMRFB #scheduling
Synchronization via scheduling: techniques for efficiently managing shared state (MJB, SM, CM, MR, AF, AB), pp. 640–652.
DLTDLT-J-2009-BealBP11 #automaton #bound #clustering #polynomial #word
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, MVB, DP), pp. 277–288.
AFLAFL-2011-PramodK #polynomial #towards #word
Towards Shortest Synchronizing Words in Polynomial Time (VTKP, KVK), pp. 358–367.
AFLAFL-2011-Umeo #2d #algorithm #automaton #implementation
Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
FMFM-2011-MeryMT #algorithm #verification
Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.
SEFMSEFM-2011-NorooziKMW #consistency #testing
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
GT-VMTGT-VMT-2011-BoronatM #automation #case study #maude #uml
Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
CHICHI-2011-EricksonSKL #evaluation #interactive
Synchronous interaction among hundreds: an evaluation of a conference in an avatar-based virtual environment (TE, NSS, WAK, DWL), pp. 503–512.
CHICHI-2011-GeertsVMDC #online #requirements #video
Are we in sync?: synchronization requirements for watching online video together (DG, IV, RM, OvD, PC), pp. 311–314.
CHICHI-2011-MadathilG #approach #testing #usability
Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CHICHI-2011-WhiteRL #community #social
Effects of community size and contact rate in synchronous social q&a (RWW, MR, YL), pp. 2837–2846.
CSCWCSCW-2011-ShaoLLG #protocol #web
An operational transformation based synchronization protocol for web 2.0 applications (BS, DL, TL, NG), pp. 563–572.
HCIHCI-DDA-2011-Yamamoto #performance
Synchronization and Fluctuation of Rhythm in Musical Cooperative Performance (TY), pp. 517–526.
HCIOCSC-2011-TakaiOM #interface #quality
Effects of a Synchronized Scoring Interface on Musical Quality (YT, MO, KiM), pp. 363–372.
AdaEuropeAdaEurope-2011-RazaFP #detection #fault #parallel #source code
Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.
ICEISICEIS-v3-2011-DoninsO #case study #development #enterprise #modelling
Topological Modeling for Enterprise Data Synchronization System — A Case Study of Topological Model-driven Software Development (UD, JO), pp. 87–96.
CIKMCIKM-2011-ParkCS #dependence #information retrieval
A quasi-synchronous dependence model for information retrieval (JHP, WBC, DAS), pp. 17–26.
SEKESEKE-2011-Kaiser #concurrent #debugging #higher-order #using
Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators (LWGK), pp. 244–249.
BXBX-2011-Czarnecki #theory and practice
Model Synchronization: Theory and Practice (KC), p. 52.
BXBX-2011-Giese #incremental
Incremental Model Synchronization (HG), p. 52.
BXBX-2011-Hermann1 #integration
Model Integration and Synchronization (FH), p. 58.
BXBX-2011-Hildebrandt #bidirectional #incremental
Incremental Bidirectional Model Synchronization (SH), p. 59.
ECMFAECMFA-2011-GreenyerPR #incremental #reuse
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements (JG, SP, JR), pp. 144–159.
MODELSMoDELS-2011-HermannEOCDX #correctness #graph grammar
Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
MODELSMoDELS-2011-HermannEOCDX #correctness #graph grammar
Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
TOOLSTOOLS-EUROPE-2011-Nierstrasz #modelling
Synchronizing Models and Code (Invited Talk) (ON), p. 1.
POPLPOPL-2011-AttiyaGHKMV #algorithm #concurrent #order
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated (HA, RG, DH, PK, MMM, MTV), pp. 487–498.
POPLPOPL-2011-SchwarzSVLM #protocol #source code #static analysis
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
LCTESLCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
LCTESLCTES-2011-BerthierMM #embedded #operating system #programming
Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
LCTESLCTES-2011-GamatieG #design #embedded #multi #performance #source code #static analysis
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
DACDAC-2010-KaoCTC #detection #performance
An efficient phase detector connection structure for the skew synchronization system (YCK, HMC, KTT, SCC), pp. 729–734.
DACDAC-2010-ZhaoC
Synchronization of washing operations with droplet routing for cross-contamination avoidance in digital microfluidic biochips (YZ, KC), pp. 635–640.
DATEDATE-2010-BaudischBS #independence #parallel #source code #thread
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP (DB, JB, KS), pp. 949–952.
FoSSaCSFoSSaCS-2010-CassezMZ #complexity #data flow #security
The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
ICPCICPC-2010-OliveiraPCB #comprehension #visualisation
Influence of Synchronized Domain Visualizations on Program Comprehension (NO, MJVP, DCdC, MMB), pp. 192–195.
CIAACIAA-2010-ChmielR #named
COMPAS — A Computing Package for Synchronization (KC, AR), pp. 79–86.
ICALPICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
CSCWCSCW-2010-GutwinGWWA #design
Gone but not forgotten: designing for disconnection in synchronous groupware (CG, TCNG, CW, NW, BdA), pp. 179–188.
ICPRICPR-2010-MoriMY #recognition #using
Gait Recognition Using Period-Based Phase Synchronization for Low Frame-Rate Videos (AM, YM, YY), pp. 2194–2197.
KDDKDD-2010-BohmPSY #clustering
Clustering by synchronization (CB, CP, JS, QY), pp. 583–592.
SEKESEKE-2010-YastrebenetskyT #complexity #metric
Synchronization Complexity Metric (PY, MT), pp. 147–152.
MODELSMoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements
A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
ECOOPECOOP-2010-VaziriTDHV #type system
A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
POPLPOPL-2010-VechevYY #synthesis
Abstraction-guided synthesis of synchronization (MTV, EY, GY), pp. 327–338.
RERE-2010-BittnerRGW #multi #requirements #using
Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems (MB, MOR, HG, MW), pp. 325–330.
SACSAC-2010-AhluwaliaGGYM #database
Target-based database synchronization (MA, RG, AG, YY, MM), pp. 1643–1647.
SACSAC-2010-LlorensOST #algorithm #control flow #graph
An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
SACSAC-2010-ToledoOOP #algorithm #parallel #problem #scheduling #search-based
Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem (CFMT, LdO, RRRdO, MRP), pp. 1148–1152.
SACSAC-2010-TraulsenH #data flow #parallel
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
ICSEICSE-2010-Hattori #collaboration #developer #multi
Enhancing collaboration of multi-developer projects with synchronous changes (LH), pp. 377–380.
LCTESLCTES-2010-BrandtSS #concurrent #specification
Translating concurrent action oriented specifications to synchronous guarded actions (JB, KS, SKS), pp. 47–56.
OSDIOSDI-2010-XiongPZZM #ad hoc #harmful
Ad Hoc Synchronization Considered Harmful (WX, SP, JZ, YZ, ZM), pp. 163–176.
LICSLICS-2010-LaneveV #power of
The Expressive Power of Synchronizations (CL, AV), pp. 382–391.
WICSA-ECSAWICSA-ECSA-2009-PaceCBSC #architecture #documentation #implementation
Assisting the synchronization of UCM-based architectural documentation with implementation (JADP, JPC, MB, AS, MRC), pp. 151–160.
CASECASE-2009-FagioliniMB #distributed
Set-valued consensus for distributed clock synchronization (AF, SM, AB), pp. 116–121.
DACDAC-2009-Geilen #data flow #graph #reduction
Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.
DATEDATE-2009-HanssonSG #composition #named #network #predict
Aelite: A flit-synchronous Network on Chip with composable and predictable services (AH, MS, KG), pp. 250–255.
DATEDATE-2009-MendlerHT #algebra #interface
WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
DATEDATE-2009-VecchieTS #compilation #execution #imperative
Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
DocEngDocEng-2009-Fraser #difference
Differential synchronization (NF), pp. 13–20.
SIGMODSIGMOD-2009-Chen #named #performance
FlashLogging: exploiting flash devices for synchronous logging performance (SC), pp. 73–86.
FASEFASE-2009-JahierHR #inheritance #modelling #validation
Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
TACASTACAS-2009-VechevYY
Inferring Synchronization under Limited Observability (MTV, EY, GY), pp. 139–154.
ICPCICPC-2009-HuangDS #policy #prototype #source code
Prototyping synchronization policies for existing programs (YH, LKD, REKS), pp. 289–290.
MSRMSR-2009-HattoriL #mining
Mining the history of synchronous changes to refine code ownership (LH, ML), pp. 141–150.
DLTDLT-2009-BealP #automaton #bound #clustering #polynomial #word
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, DP), pp. 81–90.
DLTDLT-2009-Carton
Left and Right Synchronous Relations (OC), pp. 170–182.
LATALATA-2009-PribavkinaR #automaton
Finitely Generated Synchronizing Automata (EVP, ER), pp. 672–683.
LATALATA-2009-Roman #algorithm #search-based
Genetic Algorithm for Synchronization (AR), pp. 684–695.
FMFM-2009-HeidarianSV #analysis #network #protocol
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks (FH, JS, FWV), pp. 516–531.
ICEISICEIS-J-2009-Sun #network #using
Stereo Matching Using Synchronous Hopfield Neural Network (THS), pp. 336–347.
ECIRECIR-2009-FoleyS #collaboration #evaluation #information retrieval
Synchronous Collaborative Information Retrieval: Techniques and Evaluation (CF, AFS), pp. 42–53.
MODELSMoDELS-2009-ThumSS #collaboration #lightweight #modelling #named
SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
MODELSMoDELS-2009-ThumSS #collaboration #lightweight #modelling #named
SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
LOPSTRLOPSTR-2009-ScandoloKH #parallel #pipes and filters #using
Program Parallelization Using Synchronized Pipelining (LS, CK, MVH), pp. 173–187.
POPLPOPL-2009-LublinermanST #code generation #composition #diagrams
Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
SACSAC-2009-LaiRC #embedded #on the #realtime #scheduling
On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SACSAC-2009-RoeslerHC #case study #distance #learning #multi
A new multimedia synchronous distance learning system: the IVA study case (VR, RH, CHC), pp. 1765–1770.
GTTSEGTTSE-2009-Diskin #category theory
Model Synchronization: Mappings, Tiles, and Categories (ZD), pp. 92–165.
ICSEICSE-2009-Zhang #approach #aspect-oriented #java #named
FlexSync: An aspect-oriented approach to Java synchronization (CZ), pp. 375–385.
LCTESLCTES-2009-CaspiCGPR #memory management #policy #scheduling
Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.
PPoPPPPoPP-2009-HaTA #parallel #programming
Preliminary results on nb-feb, a synchronization primitive for parallel programming (PHH, PT, OJA), pp. 295–296.
PPoPPPPoPP-2009-NicolauLK #performance
Techniques for efficient placement of synchronization primitives (AN, GL, AK), pp. 199–208.
ECSAECSA-2008-BernardoB #algebra #architecture #process
Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
CASECASE-2008-ScheitererNOSG #performance #precise #protocol
Synchronization performance of the Precision Time Protocol in the face of slave clock frequency drift (RLS, CN, DO, GS, DG), pp. 554–559.
DACDAC-2008-HsuPB #data flow #graph #parallel #simulation #thread
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DATEDATE-2008-GhamarianGBS #analysis #data flow #graph #parametricity #throughput
Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
DATEDATE-2008-HooverB #network
Synthesizing Synchronous Elastic Flow Networks (GH, FB), pp. 306–311.
DATEDATE-2008-LoiAB #3d
Developing Mesochronous Synchronizers to Enable 3D NoCs (IL, FA, LB), pp. 1414–1419.
DATEDATE-2008-LublinermanT #code generation #composition #diagrams #reuse
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
DocEngDocEng-2008-CostaMS
Intermedia synchronization management in DTV systems (RMdRC, MFM, LFGS), pp. 289–297.
HTHT-2008-Wang #named
Powermeeting: gwt-based synchronous groupware (WW), pp. 251–252.
ITiCSEITiCSE-2008-BoyerDFVL #collaboration #development #distributed #programming
A development environment for distributed synchronous collaborative programming (KEB, AAD, RTF, MAV, JCL), pp. 158–162.
ITiCSEITiCSE-2008-KoppelmanV #case study #distance #education #experience
Experiences with a synchronous virtual classroom in distance education (HK, HPEV), pp. 194–198.
ITiCSEITiCSE-2008-PullenC #distance #distributed #education #quality
Distributed application launching for high quality graphics in synchronous distance education (JMP, JXC), pp. 204–208.
ICPCICPC-2008-BohnetVD #comprehension #execution
Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces (JB, SV, JD), pp. 268–271.
ICPCICPC-2008-SatoST #comprehension #execution #source code #user interface #visualisation
Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions (TS, BS, JT), pp. 272–275.
CIAACIAA-2008-Yen #concurrent #petri net
Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
DLTDLT-2008-CarpiD #automaton #problem #transitive
The Synchronization Problem for Strongly Transitive Automata (AC, FD), pp. 240–251.
LATALATA-2008-GawrychowskiK #word
2-Synchronizing Words (PG, AK), pp. 221–231.
LATALATA-2008-Volkov #automaton
Synchronizing Automata and the Cerny Conjecture (MVV), pp. 11–27.
GT-VMTGT-VMT-2006-Lanese08 #graph transformation
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
CHICHI-2008-BalakrishnanFK #collaboration #question #visualisation
Do visualizations improve synchronous remote collaboration? (ADB, SRF, SBK), pp. 1227–1236.
CHICHI-2008-HsiehLHK #communication #using
Using tags to assist near-synchronous communication (GH, JL, SEH, RK), pp. 223–226.
CHICHI-2008-LarsenB #collaboration
Competence articulation: alignment of competences and responsibilities in synchronous telemedical collaboration (SBL, JEB), pp. 553–562.
CSCWCSCW-2008-AvrahamiFH #communication #latency
IM waiting: timing and responsiveness in semi-synchronous communication (DA, SRF, SEH), pp. 285–294.
CSCWCSCW-2008-HsiehKHW #communication
Can markets help?: applying market mechanisms to improve synchronous communication (GH, RK, SEH, RW), pp. 535–544.
CSCWCSCW-2008-IgnatPON #collaboration #multi #privacy
Providing awareness in multi-synchronous collaboration without compromising privacy (CLI, SP, GO, MCN), pp. 659–668.
SOFTVISSOFTVIS-2008-XieKSDF #diagrams #sequence chart
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
AdaEuropeAdaEurope-2008-Evequoz #concurrent #performance #using #word
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives (CE), pp. 59–72.
AdaSIGAda-2008-RasC #architecture #distributed #realtime
Real-time synchronization on distributed architecture with Ada-2005 (JR, AMKC), pp. 75–84.
CIKMCIKM-2008-LuoNEW #order #transaction
Transaction reordering with application to synchronized scans (GL, JFN, CJE, MW), pp. 1335–1336.
ICPRICPR-2008-ChangIB #network
Shapes to synchronize camera networks (RC, SHI, RB), pp. 1–4.
ICPRICPR-2008-LiuS #analysis #correlation
Recovering audio-to-video synchronization by audiovisual correlation analysis (YL, YS), pp. 1–4.
SEKESEKE-2008-BaiL #named #source code #testing
SyncTest: a Tool to Synchronize Source Code, Model and Testing (XB, TL), pp. 723–728.
BXBX-2008-Xiong1
Operation-Based Synchronization with Intra-Relation Support (YX), p. 46.
MODELSMoDELS-2008-Diskin #algebra #bidirectional #modelling
Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
MODELSMoDELS-2008-Diskin #algebra #bidirectional #modelling
Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
SACSAC-2008-ChenCK #multi #realtime
Multiprocessor frequency locking for real-time task synchronization (YSC, LPC, TWK), pp. 289–293.
SACSAC-2008-DegesysBR #random
Synchronization of strongly pulse-coupled oscillators with refractory periods and random medium access (JD, PB, JR), pp. 1976–1980.
SACSAC-2008-XuWQ #modelling #using #verification
Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
LCTESLCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTESLCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
ISSTAISSTA-2008-TianNGT #concurrent #detection #recognition
Dynamic recognition of synchronization operations for improved data race detection (CT, VN, RG, ST), pp. 143–154.
ASEASE-2007-XiongLHZTM #automation #model transformation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
DACDAC-2007-AndrikosLPS
A Fully-Automated Desynchronization Flow for Synchronous Circuits (NA, LL, DP, CPS), pp. 982–985.
DACDAC-2007-CortadellaK #evaluation
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow (JC, MK), pp. 416–419.
DACDAC-2007-StuijkBGC #data flow #graph #multi #resource management
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DATEDATE-2007-SheibanyradPG #architecture #comparison #implementation #multi #network
Systematic comparison between the asynchronous and the multi-synchronous implementations of a network on chip architecture (AS, IMP, AG), pp. 1090–1095.
DATEDATE-2007-YangG
Computing synchronizer failure probabilities (SY, MRG), pp. 1361–1366.
VLDBVLDB-2007-ChuangCZ
Context-Aware Wrapping: Synchronized Data Extraction (SLC, KCCC, CZ), pp. 699–710.
ITiCSEITiCSE-2007-Bower #analysis #concept #independence #online
Independent, synchronous and asynchronous an analysis of approaches to online concept formation (MB), pp. 141–145.
ESOPESOP-2007-EnnalsG #multi
Multi-language Synchronization (RE, DG), pp. 475–489.
CIAACIAA-2007-Volkov #automaton #partial order
Synchronizing Automata Preserving a Chain of Partial Orders (MVV), pp. 27–37.
ICALPICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.
SEFMSEFM-2007-SahaRC #modelling #protocol #using #verification
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar (IS, SR, KC), pp. 69–79.
HCIHCI-AS-2007-EshetC #realtime
Synchronous Reading in Real-Time Environments (YE, EC), pp. 245–254.
HCIHCI-AS-2007-NguyenS #communication #semantics
ICT-Mediated Synchronous Communication in Creative Teamwork: From Cognitive Dust to Semantics (VN, PAS), pp. 692–701.
HCIHIMI-MTT-2007-MiyakeT #coordination #realtime
Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
HCIOCSC-2007-ChenY07a #collaboration #design #difference #industrial #learning
The Differences Between the Influences of Synchronous and Asynchronous Modes on Collaborative Learning Project of Industrial Design (WC, MY), pp. 275–283.
SEKESEKE-2007-KoskerB #graph transformation #refactoring #uml
Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
OOPSLAOOPSLA-2007-Rinard #termination #using
Using early phase termination to eliminate load imbalances at barrier synchronization points (MCR), pp. 369–386.
PPDPPPDP-2007-AmadioD #π-calculus
Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.
GTTSEGTTSE-2007-AntkiewiczC #design
Design Space of Heterogeneous Synchronization (MA, KC), pp. 3–46.
HPCAHPCA-2007-CezeMPT #architecture #named
Colorama: Architectural Support for Data-Centric Synchronization (LC, PM, CvP, JT), pp. 133–144.
PPoPPPPoPP-2007-Adl-TabatabaiDHSKPS #transaction
Potential show-stoppers for transactional synchronization (ARAT, DD, MH, NS, CK, CvP, MLS), p. 55.
DACDAC-2006-CortadellaKG #architecture #synthesis
Synthesis of synchronous elastic architectures (JC, MK, BG), pp. 657–662.
DACDAC-2006-HsuRKPB #data flow #graph #performance #simulation
Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DACDAC-2006-StuijkGB #constraints #data flow #graph #requirements #throughput #trade-off
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.
DATEDATE-2006-ChoRJ #embedded #realtime
Lock-free synchronization for dynamic embedded real-time systems (HC, BR, EDJ), pp. 438–443.
DATEDATE-2006-KimHG #execution #parallel #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATEDATE-2006-KulkarniB #concurrent #framework #memory management #thread
Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.
DATEDATE-2006-MonchieroPSV #hardware #optimisation #performance
Power/performance hardware optimization for synchronization intensive applications in MPSoCs (MM, GP, CS, OV), pp. 606–611.
DATEDATE-DF-2006-CarvalhoPJF #algorithm #fault tolerance #implementation
A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN (FCC, CEP, ETSJ, EPdF), pp. 189–194.
FASEFASE-2006-DamianLM #empirical #requirements
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.
PEPMPEPM-2006-ThompsonM #partial evaluation
Bit-level partial evaluation of synchronous circuits (ST, AM), pp. 29–37.
SASSAS-2006-Bertrane #communication #proving
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems (JB), pp. 370–386.
DLTDLT-2006-AnanichevVZ #automaton
Synchronizing Automata with a Letter of Deficiency 2 (DSA, MVV, YIZ), pp. 433–442.
DLTDLT-2006-Carton
The Growth Ratio of Synchronous Rational Relations Is Unique (OC), pp. 270–279.
DLTDLT-2006-Caucal #automaton
Synchronization of Pushdown Automata (DC), pp. 120–132.
CHICHI-2006-WeiszEK
Synchronous broadcast messaging: the use of ICT (JDW, TE, WAK), pp. 1293–1302.
ICEISICEIS-DISI-2006-MalyZSZ #multi
Synchronization and Multiple Group Server Support for Kepler (KM, MZ, HS, SZ), pp. 111–117.
ICEISICEIS-ISAS-2006-ChengP #aspect-oriented #bibliography #development #embedded #realtime #resource management #scheduling #using
Using Aspect-Oriented Software Development in Real-Time Embedded Systems Software — A Review of Scheduling, Resource Allocation and Synchronization (PLC, GAP), pp. 388–393.
CIKMCIKM-2006-GolabBO #multi #optimisation
Multi-query optimization of sliding window aggregates by schedule synchronization (LG, KGB, MTÖ), pp. 844–845.
ICPRICPR-v3-2006-UshizakiOD #sequence #video
Video Synchronization Based on Co-occurrence of Appearance Changes in Video Sequences (MU, TO, KD), pp. 71–74.
MODELSMoDELS-2006-GieseW #graph grammar #incremental
Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
MODELSMoDELS-2006-GieseW #graph grammar #incremental
Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
ECOOPECOOP-2006-WelcHJ #java #transaction
Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.
OOPSLAOOPSLA-2006-RussellD
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing (KR, DD), pp. 263–272.
POPLPOPL-2006-CohenDEPPP #network #realtime
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems (AC, MD, CE, CP, FP, MP), pp. 180–193.
POPLPOPL-2006-McCloskeyZGB #named
Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.
POPLPOPL-2006-VaziriTD #constraints #object-oriented
Associating synchronization constraints with data in an object-oriented language (MV, FT, JD), pp. 334–345.
SACSAC-2006-ChoRJ #embedded #on the #realtime #scheduling
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software (HC, BR, EDJ), pp. 918–922.
SACSAC-2006-WangS #analysis
Escape analysis for synchronization removal (LW, XS), pp. 1419–1423.
ICSEICSE-2006-DamianLM #effectiveness #requirements
The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (DED, FL, TM), pp. 917–920.
HPCAHPCA-2006-GontmakherMSS #concurrent #thread
Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.
PPoPPPPoPP-2006-SchererLS #scalability
Scalable synchronous queues (WNSI, DL, MLS), pp. 147–156.
CAVCAV-2006-KrcalY #automaton #communication #verification
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify (PK, WY), pp. 249–262.
WICSAWICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
CASECASE-2005-CengicALYF #composition #implementation #using
Implementation of full synchronous composition using IEC 61499 function blocks (GC, , BL, CY, PMF), pp. 267–272.
DACDAC-2005-GeilenBS #data flow #graph #model checking #requirements
Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
DACDAC-2005-KimYH #using
Trace-driven HW/SW cosimulation using virtual synchronization technique (DK, YY, SH), pp. 345–348.
DATEDATE-2005-BomelMB #latency #synthesis
Synchronization Processor Synthesis for Latency Insensitive Systems (PB, EM, EB), pp. 896–897.
DATEDATE-2005-DasguptaY #architecture #modelling #verification
Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures (SD, AY), pp. 568–569.
FASEFASE-2005-LarsenLW #source code #specification
Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.
PLDIPLDI-2005-Herlihy #re-engineering #transaction
The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
CIAACIAA-2005-Bartha #equivalence
Strong Retiming Equivalence of Synchronous Schemes (MB), pp. 66–77.
SEFMSEFM-2005-AnantharamanCH #calculus #process
A Synchronous Process Calculus for Service Costs (SA, JC, GH), pp. 435–444.
AdaSIGAda-2005-MirandaSK #ada #compilation #implementation #interface
The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
CAiSECAiSE-2005-EderL #workflow
Synchronizing Copies of External Data in Workflow Management Systems (JE, ML), pp. 248–261.
SEKESEKE-2005-VoP #concurrent #detection #java
A Deadlock Detector for Synchronous Java (DDV, CP), pp. 537–542.
ECMFAECMDA-FA-2005-HwanKC #feature model #modelling
Synchronizing Cardinality-Based Feature Models and Their Specializations (CHPK, KC), pp. 331–348.
PADLPADL-2005-TanasescuW #configuration management #declarative
Role-Based Declarative Synchronization for Reconfigurable Systems (VT, PTW), pp. 52–66.
CGOCGO-2005-StoodleyS #automation #compilation #java
Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java (MGS, VS), pp. 27–36.
PPoPPPPoPP-2005-BronFMNU
Applications of synchronization coverage (AB, EF, YM, YN, SU), pp. 206–212.
PPoPPPPoPP-2005-WangS #source code #static analysis
Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.
CAVCAV-2005-VecchieS #source code
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
VMCAIVMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.
WICSAWICSA-2004-BernardoB #architecture #generative #parallel #source code #thread
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
DACDAC-2004-DavareLKS #implementation #performance #specification
The best of both worlds: the efficient asynchronous implementation of synchronous specifications (AD, KL, AK, ALSV), pp. 588–591.
DACDAC-2004-EdmanS #design
Timing closure through a globally synchronous, timing partitioned design methodology (AE, CS), pp. 71–74.
DATEDATE-DF-2004-NiranjanW #design
Islands of Synchronicity, a Design Methodology for SoC Design (APN, PCW), pp. 64–69.
DATEDATE-v1-2004-DSilvaRS #architecture #automaton #communication #framework #modelling #protocol #verification
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures (VD, SR, AS), pp. 390–395.
DATEDATE-v1-2004-GreenE #data flow #uml
Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
DATEDATE-v1-2004-HeathBH #named #nondeterminism
Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s (MWH, WPB, IGH), pp. 410–415.
DATEDATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
DATEDATE-v2-2004-BranoverKG #design
Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones (AB, RK, RG), pp. 870–877.
DATEDATE-v2-2004-CortadellaKLLS #approach #automation
From Synchronous to Asynchronous: An Automatic Approach (JC, AK, LL, KL, CPS), pp. 1368–1369.
DATEDATE-v2-2004-Singh #co-evolution #design
A Demonstration of Co-Design and Co-Verification in a Synchronous Language (SS), pp. 1394–1395.
TACASTACAS-2004-DengDHM #aspect-oriented #framework #named
SyncGen: An Aspect-Oriented Framework for Synchronization (XD, MBD, JH, MM), pp. 158–162.
ICSMEICSM-2004-IvkovicK #evolution
Tracing Evolution Changes of Software Artifacts through Model Synchronization (II, KK), pp. 252–261.
ICSMEICSM-2004-LauTMKILZZH #maintenance #performance
Model Synchronization for Efficient Software Application Maintenance (TCL, TT, RM, KK, II, PL, YZ, QZ, MH), p. 499.
PLDIPLDI-2004-FlattF #abstraction
Kill-safe synchronization abstractions (MF, RBF), pp. 47–58.
FLOPSFLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.
DLTDLT-2004-GruskaTP #array #communication #problem
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
ICALPICALP-2004-Volzer #distributed #on the
On Randomization Versus Synchronization in Distributed Systems (HV), pp. 1214–1226.
IFMIFM-2004-CiobanuL #concurrent #specification #verification
Specification and Verification of Synchronizing Concurrent Objects (GC, DL), pp. 307–327.
IFMIFM-2004-PuHHY #approach #clustering #hardware
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (GP, DVH, JH, WY), pp. 363–381.
ICGTICGT-2004-MetivierMOS
Synchronizers for Local Computations (YM, MM, RO, AS), pp. 271–286.
ICEISICEIS-v4-2004-Lukosch
Customizable Data Distribution for Synchronous Groupware (SL), pp. 70–77.
ICMLICML-2004-MerkeS #approximate #convergence #learning #linear
Convergence of synchronous reinforcement learning with linear function approximation (AM, RS).
ICPRICPR-v1-2004-SinhaP #network
Synchronization and Calibration of Camera Networks from Silhouettes (SNS, MP), pp. 116–119.
ICPRICPR-v4-2004-Frigui04a #visualisation
Projection and Visualization based on Synchronization of Coupled Oscillators (HF), pp. 561–564.
SEKESEKE-2004-WeigangCDM #distributed #grid #knowledge base #realtime #using
Distributed Knowledge Based System Using Grid Computing for Real Time Air Traffic Synchronization — ATFMGC (WL, DAC, MVPD, ACMAdM), pp. 396–401.
HPCAHPCA-2004-LiMH #energy #multi
The Thrifty Barrier: Energy-Aware Synchronization in Shared-Memory Multiprocessors (JL, JFM, MCH), pp. 14–23.
ICLPICLP-2004-RamirezM #constraints #distributed #java #source code #verification
Constraint-Based Synchronization and Verification of Distributed Java Programs (RR, JM), pp. 473–474.
LICSLICS-2004-WohrleT #infinity #model checking
Model Checking Synchronized Products of Infinite Transition Systems (SW, WT), pp. 2–11.
DATEDATE-2003-KimSLLNN #data flow #distributed #graph
Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units (EK, HS, JGL, DIL, HN, TN), pp. 10276–10281.
DATEDATE-2003-KinP #data flow #parallel #simulation #thread
Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATEDATE-2003-LogothetisS #analysis #source code
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration (GL, KS), pp. 10196–10203.
DATEDATE-2003-Salem #semantics
Formal Semantics of Synchronous SystemC (AS), pp. 10376–10381.
DATEDATE-2003-YevtushenkoVBPS #equation
Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.
TACASTACAS-2003-StollerC #reduction
Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
DLTDLT-2003-AnanichevV #automaton
Synchronizing Monotonic Automata (DSA, MVV), pp. 111–121.
FMFME-2003-KouchnarenkoL #component #refinement #verification
Refinement and Verification of Synchronized Component-Based Systems (OK, AL), pp. 341–358.
FMFME-2003-MarinescuR #composition #design #framework
A Formal Framework for Modular Synchronous System Design (MCVM, MCR), pp. 482–502.
CHICHI-2003-Chen
A low-latency lip-synchronized videoconferencing system (MC), pp. 465–471.
ICEISICEIS-v1-2003-ChengTKRWYH #approach #e-commerce #enterprise #integration #modelling #scalability
A Model-Driven Approach for Item Synchronization and Uccnet Integration in Large E-Commerce Enterprise Systems (SC, MT, SK, AR, FYW, YY, YH), pp. 128–135.
ICEISICEIS-v1-2003-GhomariD #approach #multi #petri net #towards
Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.
KDDKDD-2003-GuhaGK #correlation #data type
Correlating synchronous and asynchronous data streams (SG, DG, NK), pp. 529–534.
POPLPOPL-2003-Boehm
Destructors, finalizers, and synchronization (HJB), pp. 262–272.
SACSAC-2003-NandaK #analysis #web #web service
Synchronization Analysis for Decentralizing Composite Web Services (MGN, NMK), pp. 407–414.
SACSAC-2003-SiEHD #composition #configuration management #process
A Model for the Configurable Composition and Synchronization of Complex Trading Activities (YWS, DE, AHMtH, MD), pp. 595–602.
DACDAC-2002-BadarogluTDWMVG #optimisation #reduction #using
Clock tree optimization in synchronous CMOS digital circuits for substrate noise reduction using folding of supply current transients (MB, KT, SD, PW, HDM, IV, GGEG), pp. 399–404.
DACDAC-2002-JiangB #logic #simulation #specification #synthesis #using
Software synthesis from synchronous specifications using logic simulation techniques (YJ, RKB), pp. 319–324.
DACDAC-2002-KondratyevL #design #tool support
Design of asynchronous circuits by synchronous CAD tools (AK, KL), pp. 411–414.
DATEDATE-2002-LogothetisS #generative #modelling #realtime
Extending Synchronous Languages for Generating Abstract Real-Time Models (GL, KS), pp. 795–802.
DocEngDocEng-2002-Muchaluat-SaadeRS #multi #named
XConnector: extending XLink to provide multimedia synchronization (DCMS, RFR, LFGS), pp. 49–56.
SIGMODSIGMOD-2002-OlstonW
Best-effort cache synchronization with source cooperation (CO, JW), pp. 73–84.
FMFME-2002-UmeduTYNHT #mobile #multi
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.
CSCWCSCW-2002-VertegaalD #question
Explaining effects of eye gaze on mediated group conversations: : amount or synchronization? (RV, YD), pp. 41–48.
CIKMCIKM-2002-LamLW #mobile #performance #xml
Efficient synchronization for mobile XML data (FL, NL, RKW), pp. 153–160.
UMLUML-2002-AndrePR #paradigm #uml
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems (CA, MAPF, JPR), pp. 163–178.
SACSAC-2002-AbdallahDH #monitoring
Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.
ICSEICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
ASPLOSASPLOS-2002-MartinezT #concurrent #parallel #thread
Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
LCTESLCTES-SCOPES-2002-KimHK #design #object-oriented #realtime #scheduling
Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization (SK, SH, THK), pp. 223–232.
OSDIOSDI-2002-ElsonGE #fine-grained #network #using
Fine-Grained Network Time Synchronization Using Reference Broadcasts (JE, LG, DE), pp. 147–163.
CAVCAV-2002-ChakrabartiAHM #bidirectional #component #interface
Synchronous and Bidirectional Component Interfaces (AC, LdA, TAH, FYCM), pp. 414–427.
RTARTA-2002-LeclandR #implementation #named
TTSLI: An Implementation of Tree-Tuple Synchronized Languages (BL, PR), pp. 376–379.
VMCAIVMCAI-2002-SidorovaS #model checking
Synchronous Closing of Timed SDL Systems for Model Checking (NS, MS), pp. 79–93.
ASEASE-2001-ParissisV #automation #testing
Strategies for Automated Specification-Based Testing of Synchronous Software (IP, JV), pp. 364–367.
DACDAC-2001-YuYW #representation #synthesis #using
Signal Representation Guided Synthesis Using Carry-Save Adders For Synchronous Data-path Circuits (ZY, MLY, ANWJ), pp. 456–461.
DATEDATE-2001-AkgulM #hardware
System-on-a-chip processor synchronization support in hardware (BSA, VJMI), pp. 633–641.
ESOPESOP-2001-CuoqP #composition
Modular Causality in a Synchronous Stream Language (PC, MP), pp. 237–251.
FoSSaCSFoSSaCS-2001-GourantonRS
Synchronized Tree Languages Revisited and New Applications (VG, PR, HS), pp. 214–229.
FoSSaCSFoSSaCS-2001-Tini #axiom #semantics
An Axiomatic Semantics for the Synchronous Language Gentzen (ST), pp. 394–409.
TACASTACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
DLTDLT-2001-AnanichevV #word
Collapsing Words vs. Synchronizing Words (DSA, MVV), pp. 166–174.
DLTDLT-2001-CulikKK #automaton #problem
A Note on Synchronized Automata and Road Coloring Problem (KCI, JK, JK), pp. 175–185.
CIKMCIKM-2001-YeeODN #database #maintenance #mobile #scalability
Scaling Replica Maintenance In Intermittently Synchronized Mobile Databases (WGY, EO, MJD, SBN), pp. 450–457.
SACSAC-2001-BosschereJ #coordination
Synchronous coordination in the Log coordination model (KDB, JMJ), pp. 151–158.
SACSAC-2001-RoccettiS #distance #education #multi
A web-based synchronized multimedia system for distance education (MR, PS), pp. 94–98.
FSEESEC-FSE-2001-RamseyC #algebra #approach
An algebraic approach to file synchronization (NR, EC), pp. 175–185.
PPoPPPPoPP-2001-InoFH #analysis #named #parallel
LogGPS: a parallel computational model for synchronization analysis (FI, NF, KH), pp. 133–142.
SOSPSOSP-2001-IyerD #framework #scheduling
Anticipatory scheduling: A disk scheduling framework to overcome deceptive idleness in synchronous I/O (SI, PD), pp. 117–130.
CAVCAV-2001-AmlaEKN #diagrams #model checking #named #performance
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (NA, EAE, RPK, KSN), pp. 387–390.
DACDAC-2000-HorstmannshoffM #code generation #data flow #graph #performance
Efficient building block based RTL code generation from synchronous data flow graphs (JH, HM), pp. 552–555.
DACDAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
DATEDATE-2000-MurthyB #data flow #implementation #memory management #specification
Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.
DATEDATE-2000-PomeranzR #generative #sequence #testing
Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
SIGMODSIGMOD-2000-ChoG #database
Synchronizing a Database to Improve Freshness (JC, HGM), pp. 117–128.
ITiCSEITiCSE-2000-Holliday #kernel #operating system
A kernel-based synchronization assignment for the operating systems course (MAH), p. 184.
FoSSaCSFoSSaCS-2000-QuagliaW #mobile #on the #process
On Synchronous and Asynchronous Mobile Processes (PQ, DW), pp. 283–296.
PLDIPLDI-2000-Ruf #effectiveness #java
Effective synchronization removal for Java (ER), pp. 208–218.
AdaEuropeAdaEurope-2000-Ringler #analysis #execution #source code #worst-case
Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
CIKMCIKM-2000-YeeDN #database #design #framework #scalability
A Framework for Designing Update Objects to Improve Server Scalability in Intermittently Synchronized Databases (WGY, MJD, SBN), pp. 54–61.
ICPRICPR-v4-2000-UtsumiYO #adaptation #multi #using
Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations (AU, HY, JO), pp. 4607–4610.
PPDPPPDP-2000-HamonP #composition #data flow #source code
Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.
SACSAC-2000-CelentanoG #documentation #hypermedia #navigation
A Synchronization Model for Hypermedia Documents Navigation (AC, OG), pp. 585–591.
HPCAHPCA-2000-RajwarKG #throughput
Improving the Throughput of Synchronization by Insertion of Delays (RR, AK, JRG), pp. 168–179.
HPDCHPDC-2000-WolskiGT #metric #network
Synchronizing Network Probes to Avoid Measurement Intrusiveness with the Network Weather Service (RW, BG, BT), pp. 147–154.
LCTESLCTES-2000-BuddeP #modelling
Complex Reactive Control with Simple Synchronous Models (RB, AP), pp. 19–32.
ASEASE-1999-BousquetZ #bibliography #testing
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software (LdB, NZ), pp. 208–215.
DACDAC-1999-BertaccoDQ #simulation
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
DACDAC-1999-BrunvandNY #design #interface
Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.
DACDAC-1999-HemaniMKPONOEL #design #power management #using
Lowering Power Consumption in Clock by Using Globally Asynchronous Locally Synchronous Design Style (AH, TM, SK, AP, TO, PN, , PE, DL), pp. 873–878.
DACDAC-1999-PomeranzR #generative #sequence #testing
Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.
DATEDATE-1999-LiuPF
Minimizing Sensitivity to Delay Variations in High-Performance Synchronous Circuits (XL, MCP, EGF), pp. 643–649.
SASSAS-1999-AldrichCSE #analysis #java #source code
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.
SASSAS-1999-BessonJT #analysis
Polyhedral Analysis for Synchronous Languages (FB, TPJ, JPT), pp. 51–68.
ICALPICALP-1999-Tiskin #matrix #named #parallel
Erratum: Bulk-synchronous Parallel Multiplication of Boolean Matrices (AT), pp. 717–718.
FMFM-v2-1999-Nadjm-TehraniA #design #modelling #proving #theorem proving
Combining Theorem Proving and Continuous Models in Synchronous Design (SNT, ), pp. 1384–1399.
HCIHCI-CCAD-1999-Raikundalia #case study #distributed
Results of experiments in text-based, synchronous, distributed, formal electronic meetings (GKR), pp. 507–511.
HCIHCI-CCAD-1999-Raikundalia99a #generative
Synchronous, dynamic derivative generation in computer-supported meetings (GKR), pp. 517–522.
AdaSIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling
Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
OOPSLAOOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.
OOPSLAOOPSLA-1999-BogdaH #java
Removing Unnecessary Synchronization in Java (JB, UH), pp. 35–46.
TOOLSTOOLS-ASIA-1999-KatribFP #java #thread #using
Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
TOOLSTOOLS-USA-1999-PortoCSM #database #persistent #relational
Persistent Object Synchronization with Active Relational Databases (FP, SRC, MJVdS, RNM), pp. 53–62.
ICSEICSE-1999-BousquetORZ #named #testing
Lutess: A Specification-Driven Testing Environment for Synchronous Software (LdB, FO, JLR, NZ), pp. 267–276.
ICSEICSE-1999-ChanABJNW #model checking #performance
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
HPCAHPCA-1999-KuoCK #message passing #named
MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing (CCK, JBC, RK), pp. 284–288.
HPCAHPCA-1999-TullsenLEL #fine-grained #multi #thread
Supporting Fine-Grained Synchronization on a Simultaneous Multithreading Processor (DMT, JLL, SJE, HML), pp. 54–58.
RTARTA-1999-SaubionS #implementation #on the
On Implementation of Tree Synchronized Languages (FS, IS), pp. 382–396.
ASEASE-1998-JacobsenK #adaptation #approach #design pattern #generative
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL (HAJ, BJK), p. 63–?.
DATEDATE-1998-GuoPR #sequence #testing
Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration (RG, IP, SMR), pp. 583–587.
DATEDATE-1998-PomeranzR98a #using
Design-for-Testability for Synchronous Sequential Circuits using Locally Available Lines (IP, SMR), pp. 983–984.
WRLAWRLA-1998-Bruni #composition #concurrent #logic
A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.
PLDIPLDI-1998-BaconKMS #java
Thin Locks: Featherweight Synchronization for Java (DFB, RBK, CM, MJS), pp. 258–268.
PLDIBest-of-PLDI-1998-BaconKMS98a #java
Thin locks: featherweight Synchronization for Java (with retrospective) (DFB, RBK, CM, MJS), pp. 583–595.
ICALPICALP-1998-PnueliSS #validation
Translation Validation for Synchronous Languages (AP, OS, MS), pp. 235–246.
ICALPICALP-1998-Tiskin #matrix #parallel
Bulk-Synchronous Parallel Multiplication of Boolean Matrices (AT), pp. 494–506.
ICFPICFP-1998-Scholz #combinator #imperative #library #monad #programming
Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.
CSCWCSCW-1998-BanavarDMM #collaboration
Rapidly Building Synchronous Collaborative Applications by Direct Manipulation (GB, SD, KM, BM), pp. 139–148.
CSCWCSCW-1998-KobayashiSSTDW #collaboration #using #web
Collaborative Customer Services Using Synchronous Web Browser Sharing (MK, MS, TS, MT, SD, CGW), pp. 99–109.
AdaEuropeAdaEurope-1998-Ben-Ari #multi
Synchronizing Multiple Clients and Servers (MBA), pp. 41–52.
SACSAC-1998-Patino-MartinezJA #ada #distributed #transaction
Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.
SACSAC-1998-Reitzner
Virtual synchronization: uncoupling synchronization annotations from synchronization code (SR), pp. 655–659.
ISMMISMM-1998-HuelsbergenW #concurrent #garbage collection
Very Concurrent Mark-&-Sweep Garbage Collection without Fine-Grain Synchronization (LH, PW), pp. 166–175.
CAVCAV-1998-Halbwachs #programming
Synchronous Programming of Reactive Systems (NH), pp. 1–16.
DACDAC-1997-AdeLP #data flow #graph #memory management
Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets (MA, RL, JAP), pp. 64–69.
DACDAC-1997-RoigCPP #automation #generative
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits (OR, JC, MAP, EP), pp. 620–625.
DATEEDTC-1997-BeniniMMPS #logic #network #optimisation #synthesis
Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks (LB, GDM, EM, MP, RS), pp. 514–520.
DLTDLT-1997-RahonisS #algebra
Hierarchies of synchronized and algebraic forests (GR, KS), pp. 447–460.
ICALPICALP-1997-Bruyere #algorithm #bound
A Completion Algorithm for Codes with Bounded Synchronization Delay (VB), pp. 87–97.
ICFPICFP-1997-Wailly #data flow #functional #named #parallel
λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
CHICHI-1997-OviattDK #human-computer #integration #interactive #multimodal
Integration and Synchronization of Input Modes during Multimodal Human-Computer Interaction (SLO, ADA, KK), pp. 415–422.
TOOLSTOOLS-PACIFIC-1997-HolmesNP #aspect-oriented
Aspects of Synchronization (DH, JN, JP), pp. 2–14.
POPLPOPL-1997-LimL #parallel
Maximizing Parallelism and Minimizing Synchronization with Affine Transforms (AWL, MSL), pp. 201–214.
POPLPOPL-1997-Palamidessi #power of #π-calculus
Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus (CP), pp. 256–265.
POPLPOPL-1997-RinardD #parallel
Synchronization Transformations for Parallel Computing (PCD, MCR), pp. 187–200.
PPoPPPPoPP-1997-Rinard #automation #effectiveness #source code #using
Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives (MCR), pp. 112–123.
CAVCAV-1997-Berry #design #verification
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design (GB), p. 303.
DACDAC-1996-PomeranzR #on the #sequence #testing
On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
ESOPESOP-1996-MaraninchiH #composition #nondeterminism #semantics
Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
ICFPICFP-1996-CaspiP #network
Synchronous Kahn Networks (PC, MP), pp. 226–238.
ICFPICFP-1996-Turbak
First-Class Synchronization Barriers (FAT), pp. 157–168.
CSCWCSCW-1996-PattersonDK
Notification Servers for Synchronous Groupware (JFP, MD, JK), pp. 122–129.
CSCWCSCW-1996-SchuckmannKSH #design #object-oriented
Designing Object-Oriented Synchronous Groupware with COAST (CS, LK, JS, JMH), pp. 30–38.
ICPRICPR-1996-YamashitaFO #array #interface #memory management #realtime
An integrated memory array processor with a synchronous-DRAM interface for real-time vision applications (NY, YF, SO), pp. 575–580.
PPDPALP-1996-BrimJGK #algebra #concurrent #constraints #process #programming
A Process Algebra for Synchronous Concurrent Constraint Programming (LB, JMJ, DRG, MK), pp. 165–178.
POPLPOPL-1996-GuptaS #source code #static analysis
Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs (MG, ES), pp. 322–332.
SACSAC-1996-WaillyB #data flow #functional #implementation #parallel #semantics #specification
Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.
FSEFSE-1996-ParissisO #testing
Specification-based Testing of Synchronous Software (IP, FO), pp. 127–134.
ASPLOSASPLOS-1996-Scott #communication #multi
Synchronization and Communication in the T3E Multiprocessor (SLS), pp. 26–36.
CAVCAV-1996-EmersonN #automation #verification
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) (EAE, KSN), pp. 87–98.
DACDAC-1995-KarkowskiO
Retiming Synchronous Circuitry with Imprecise Delays (IK, RHJMO), pp. 322–326.
SIGMODSIGMOD-1995-AdyaGLM #concurrent #performance #using
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks (AA, RG, BL, UM), pp. 23–34.
PEPMPEPM-1995-Jensen #analysis #data flow #source code
Clock Analysis of Synchronous Dataflow Programs (TPJ), pp. 156–167.
PLDIPLDI-1995-AmagbegnonBG #data flow #implementation
Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.
PLDIPLDI-1995-KrishnamurthyY #optimisation #parallel #source code
Optimizing Parallel Programs with Explicit Synchronization (AK, KAY), pp. 196–204.
ESECESEC-1995-VidalFG #modelling #performance
Instrumentation of Synchronous Reactive Models for Performance Engineering (AVV, MVF, JGG), pp. 76–89.
HPCAHPCA-1995-Panda #multi #network #performance
Fast Barrier Synchronization in Wormhole k-ary n-cube Networks with Multidestination Worms (DKP), pp. 200–209.
PPoPPPPoPP-1995-Tseng #compilation #optimisation
Compiler Optimizations for Eliminating Barrier Synchronization (CWT), pp. 144–155.
PPoPPPPoPP-1995-WisniewskiKS #algorithm #multi #performance
High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors (RWW, LIK, MLS), pp. 199–206.
CAVCAV-1995-KurshanMOS #modelling
Modelling Asynchrony with a Synchronous Model (RPK, MM, AO, SRS), pp. 339–352.
LICSLICS-1995-GayN #calculus #process
A Typed Calculus of Synchronous Processes (SJG, RN), pp. 210–220.
DACDAC-1994-PomeranzR94a #fault #on the
On Improving Fault Diagnosis for Synchronous Sequential Circuits (IP, SMR), pp. 504–509.
DATEEDAC-1994-GaiMR #fault #named #performance
TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits (SG, PLM, MSR), pp. 46–50.
DATEEDAC-1994-WuTWL #behaviour #synthesis
A Synthesis Method for Mixed Synchronous / Asynchronous Behavior (TYW, TCT, ACHW, YLL), pp. 277–281.
DATEEDAC-1994-ZepterG #data flow #generative
Generating Synchronous Timed Descriptions of Digital Receivers from Dynamic Data Flow System Level Configurations (PZ, TG), p. 672.
SASSAS-1994-Halbwachs #abstract interpretation #programming
About Synchronous Programming and Abstract Interpretation (NH), pp. 179–192.
STOCSTOC-1994-AlurAT #adaptation #algorithm
Time-adaptive algorithms for synchronization (RA, HA, GT), pp. 800–809.
STOCSTOC-1994-Patt-ShamirR #formal method
A theory of clock synchronization (extended abstract) (BPS, SR), pp. 810–819.
ICGTTAGT-1994-CorradiniR #composition #graph grammar
Synchronized Composition of Graph Grammar Productions (AC, FR), pp. 257–270.
AdaEuropeAdaEurope-1994-Bondeli #ada #communication #reuse
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X (PdB), pp. 355–386.
PPDPPLILP-1994-ZffanellaGL #concurrent #constraints #programming
Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.
SACSAC-1994-AwadS #multi #on-demand
Synchronization in the multimedia on-demand systems (MA, HS), pp. 1–5.
ASPLOSASPLOS-1994-LimA #algorithm #multi
Reactive Synchronization Algorithms for Multiprocessors (BHL, AA), pp. 25–35.
DACDAC-1993-RhoSP #finite #sequence #state machine
Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
STOCSTOC-1993-AwerbuchKMPV #self
Time optimal self-stabilizing synchronization (BA, SK, YM, BPS, GV), pp. 652–661.
DLTDLT-1993-HromkovicRS #nondeterminism
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.
HCIHCI-ACS-1993-TeegeB #collaboration
Combining Asynchronous and Synchronous Collaborative Systems (GT, UMB), pp. 516–521.
AdaTRI-Ada-1993-AtkinsonW #ada #inheritance
Integrating Inheritance and Synchronization in Ada9X (CA, DW), pp. 229–241.
OOPSLAOOPSLA-1993-MatsuokaTY #concurrent #encapsulation #object-oriented #performance
Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages (SM, KT, AY), pp. 109–126.
TOOLSTOOLS-EUROPE-1993-BahsounFS #approach #design #implementation #object-oriented
Designing and Implementing Synchronization: an Object Oriented Approach (JPB, LF, JCS), pp. 235–248.
TOOLSTOOLS-PACIFIC-1993-Cheng #constraints #inheritance
Revisiting Inheritance of Synchronization Constraints (NC), pp. 439–447.
PPDPPLILP-1993-AltSW #compilation #generative #parallel
Generation of Synchronization Code for Parallel Compilers (MA, GS, RW), pp. 420–421.
PPoPPPPoPP-1993-KontothanassisW #performance #using
Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance (LIK, RWW), pp. 64–72.
PPoPPPPoPP-1993-YeungA #experience
Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient (DY, AA), pp. 187–197.
CAVCAV-1993-Halbwachs #analysis #source code
Delay Analysis in Synchronous Programs (NH), pp. 333–346.
CAVCAV-1993-JourdanMO #realtime #source code #verification
Verifying Quantitative Real-Time Properties of Synchronous Programs (MJ, FM, AO), pp. 347–358.
DACDAC-1992-DamianiM #equation #logic #optimisation
Recurrence Equations and the Optimization of Synchronous Logic Circuits (MD, GDM), pp. 556–561.
DACDAC-1992-LeeH #fault #named #parallel #performance
HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits (HKL, DSH), pp. 336–340.
DACDAC-1992-LeeR92a #concurrent #fault #on the #performance #simulation
On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits (DHL, SMR), pp. 327–331.
DACDAC-1992-LinLE
Analyzing Cycle Stealing on Synchronous Circuits with Level-Sensitive Latches (IL, JAL, KE), pp. 393–398.
DACDAC-1992-PixleyJH #diagrams #sequence
Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
DACDAC-1992-PomeranzR #testing
At-Speed Delay Testing of Synchronous Sequential Circuits (IP, SMR), pp. 177–181.
ICALPICALP-1992-IbarraT #automaton #finite
New Results Concerning Synchronized Finite Automata (OHI, NQT), pp. 126–137.
AdaEuropeAdaEurope-1992-GobinTG #runtime
Runtime System Support for Data-Oriented Synchronization in Ada-9X (MG, MT, FG), pp. 128–137.
ECOOPECOOP-1992-Frolund #concurrent #constraints #inheritance #object-oriented #programming language
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages (SF), pp. 185–196.
TOOLSTOOLS-PACIFIC-1992-GerteisW
Synchronizing Objects by Conditional Path Expressions (WG, WW), pp. 193–201.
ASPLOSASPLOS-1992-TorrellasGH #multi #operating system #performance
Characterizing the Caching and Synchronization Performance of a Multiprocessor Operating System (JT, AG, JLH), pp. 162–174.
CAVCAV-1992-JainKG #scalability #towards #verification
Towards a Verification Technique for Large Synchronous Circuits (PJ, PK, GG), pp. 109–122.
ICLPJICSLP-1992-JacquetM #communication #logic programming #towards
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming (JMJ, LM), pp. 98–112.
DACDAC-1991-AmonB91a #case study #synthesis
Sizing Synchronization Queues: A Case Study in Higher Level Synthesis (TA, GB), pp. 690–693.
DACDAC-1991-HuHB #pipes and filters
Minimizing the Number of Delay Buffers in the Synchronization of Pipelined Systems (XH, RGH, SCB), pp. 758–763.
ECOOPECOOP-1991-Neusius
Synchronizing Actions (CN), pp. 118–132.
PPDPPLILP-1991-BrogiG #constraints #logic #process
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes (AB, MG), pp. 407–418.
ASPLOSASPLOS-1991-Mellor-CrummeyS
Synchronization without Contention (JMMC, MLS), pp. 269–278.
PPoPPPPoPP-1991-Mellor-CrummeyS #multi #scalability
Scalable Reader-Writer Synchronization for Shared-Memory Multiprocessors (JMMC, MLS), pp. 106–113.
ISSTATAV-1991-LongC #analysis #concurrent #data flow
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization (DLL, LAC), pp. 21–35.
DACDAC-1990-KuoLW #analysis #fault
A Fault Analysis Method for Synchronous Sequential Circuits (TYK, JYL, JFW), pp. 732–735.
DACDAC-1990-SakallahMO #analysis #design
Analysis and Design of Latch-Controlled Synchronous Digital Circuits (KAS, TNM, KO), pp. 111–117.
STOCSTOC-1990-EvenR #distributed #network
The Use of a Synchronizer Yields Maximum Computation Rate in Distributed Networks (Extended Abstract) (SE, SR), pp. 95–105.
CSCWCSCW-1990-PattersonHRM #architecture #multi #named
Rendezvous: An Architecture for Synchronous Multi-User Applications (JFP, RDH, SLR, SWM), pp. 317–328.
CCCC-1990-KrohaF #compilation #multi #scheduling
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System (PK, PF), pp. 132–146.
PPoPPPPoPP-1990-CallahanKS #analysis #parallel #programming
Analysis of Event Synchronization in A Parallel Programming Tool (DC, KK, JS), pp. 21–30.
PPoPPPPoPP-1990-Nicol #analysis #parallel
Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations (DMN), pp. 89–98.
DACDAC-1989-BolsensRCM #analysis #behaviour #debugging #logic
Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour (IB, WDR, LJMC, HDM), pp. 513–518.
DACDAC-1989-OgiharaMYM #effectiveness #generative #named #reliability #testing
MULTES/IS: An Effective and Reliable Test Generation System for Partial Scan and Non-Scan Synchronous Circuits (TO, KM, GY, SM), pp. 519–524.
SIGMODSIGMOD-1989-AgrawalS #composition #concurrent #database #multi
Modular Synchronization in Multiversion Databases: versionControl and Concurrency Control (DA, SS), pp. 408–417.
ICALPICALP-1989-FeldmanM #algorithm #probability
An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement (PF, SM), pp. 341–378.
OOPSLAOOPSLA-1989-TomlinsonS #inheritance #set
Inheritance and Synchronization with Enabled Sets (CT, VS), pp. 103–112.
ASPLOSASPLOS-1989-BurkowskiCD #architecture #communication
Architectural Support for Synchronous Task Communication (FJB, GVC, GDPD), pp. 40–53.
ASPLOSASPLOS-1989-GoodmanVW #multi #scalability
Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors (JRG, MKV, PJW), pp. 64–75.
ASPLOSASPLOS-1989-Gupta #fuzzy
The Fuzzy Barrier: A Mechanism for High Speed Synchronization of Processors (RG), pp. 54–63.
SOSPSOSP-1989-Rosenburg #consistency #multi #scalability
Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors (BSR), pp. 137–146.
PLDIPLDI-1988-Reppy
Synchronous Operations as First-Class Values (JHR), pp. 250–259.
PPoPPPPEALS-1988-DavisH #behaviour #parallel #source code
Characterizing the Synchronization Behavior of Parallel Programs (HD, JLH), pp. 198–211.
ICALPICALP-1987-LeeuwenSUZ #distributed #game studies #network
Guessing Games and Distributed Computations in Synchronous Networks (JvL, NS, JU, SZ), pp. 347–356.
FPCAFPCA-1987-GautierG #declarative #named #programming #realtime
SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.
ECOOPECOOP-1987-BriotY #concurrent #inheritance #object-oriented
Inheritance and Synchronization in Concurrent OOP (JPB, AY), pp. 32–40.
POPLPOPL-1987-CaspiPHP #declarative #named #programming
Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.
SOSPSOSP-1987-BirrellGHL #multi #specification
Synchronization Primitives for a Multiprocessor: A Formal Specification (AB, JVG, JJH, RL), pp. 94–102.
ICLPICLP-1987-LeviP87 #approach #declarative #logic #semantics
An Approach to the Declarative Semantics of Synchronization in Logic Languages (GL, CP), pp. 877–893.
POPLPOPL-1986-LiskovHG #communication #distributed #process
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing (BL, MH, LG), pp. 150–159.
ICALPICALP-1985-Bouge #csp #implementation
Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract) (LB), pp. 63–70.
ICALPICALP-1985-LandauYG #algorithm #distributed #network
Distributed Algorithms in Synchronous Broadcasting Networks (Extended Abstract) (GML, MMY, ZG), pp. 363–372.
SOSPSOSP-1985-WeinsteinPLP #distributed #operating system #transaction
Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
STOCSTOC-1984-Awerbuch #network #performance #protocol
An Efficient Network Synchronization Protocol (BA), pp. 522–525.
STOCSTOC-1984-DolevHS #on the
On the Possibility and Impossibility of Achieving Clock Synchronization (DD, JYH, HRS), pp. 504–511.
STOCSTOC-1984-FredericksonL #communication #problem
The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring (GNF, NAL), pp. 493–503.
ICSEICSE-1984-RomanD #distributed #multi #process #specification #using
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization (GCR, MSD), pp. 44–55.
STOCSTOC-1983-DymondT #parallel
Speedups of Deterministic Machines by Synchronous Parallel Machines (PWD, MT), pp. 336–343.
POPLPOPL-1983-CunyS #compilation #data-driven #execution #source code
Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
DACDAC-1982-Agrawal #analysis
Synchronous path analysis in MOS circuit simulator (VDA), pp. 629–635.
ICALPICALP-1982-Reif #on the #parallel #power of #probability
On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.
ICSEICSE-1982-YonezakiK #functional #logic #process #specification
Functional Specification of Synchronized Processes Based on Modal Logic (NY, TK), pp. 208–217.
STOCSTOC-1981-ArjomandiFL #difference #performance
A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
STOCSTOC-1981-ReifS #algorithm #communication #distributed #realtime
Distributed Algorithms for Synchronizing Interprocess Communication within Real Time (JHR, PGS), pp. 133–145.
ICSEICSE-1981-CunhaM #data type #programming
Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.
VLDBVLDB-1980-Cheng #database #distributed
Update Synchronization in Distributed Databases (WKC, GGB), pp. 301–308.
ICALPICALP-1980-GenrichT
Bipolar Synchronization Systems (HJG, PST), pp. 257–272.
POPLPOPL-1980-MannaP #problem
Synchronous Schemes and Their Decision Problems (ZM, AP), pp. 62–67.
ICSEICSE-1979-Bayer #database #on the
On Synchronization and Recovery in Database Systems (RB), pp. 423–424.
ICSEICSE-1979-Laventhal #approach #reliability
A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.
SOSPSOSP-1979-Bloom
Evaluating Synchronization Mechanisms (TB), pp. 24–32.
STOCSTOC-1978-Goldschlager #approach #modelling #parallel
A Unified Approach to Models of Synchronous Parallel Machines (LMG), pp. 89–94.
STOCSTOC-1978-MillerY #on the #parallel
On Formulating Simultaneity for Studying Parallelism and Synchronization (REM, CKY), pp. 105–113.
POPLPOPL-1977-HewittA #parallel
Parallelism and Synchronization in Actor Systems (RRA, CH), pp. 267–280.
SOSPSOSP-1977-ReedK
Synchronization with Eventcounts and Sequencers (Extended Abstract) (DPR, RKK), p. 91.
ICALPICALP-1976-Greif #on the #proving #source code
On Proofs of Programs for Synchronization (IG), pp. 494–507.
POPLPOPL-1976-GriffithsP #process #specification #verification
Verifying Formal Specifications of Synchronous Processes (PPG, CJP), pp. 192–208.
STOCSTOC-1974-Lipton #branch
Limitations of Synchronization Primitives with Conditional Branching and Global Variables (RJL), pp. 230–241.
SOSPSOSP-J-1973-Habermann72 #communication #process
Synchronization of Communicating Processes (ANH), pp. 171–176.
SOSPSOSP-1971-Easton #process
Process Synchronization without Long-Term Interlock (WBE), pp. 95–100.
SOSPSOSP-1971-Habermann #communication #process
Synchronization of Communicating Processes (Abstract) (ANH), pp. 80–85.
DACDAC-1967-McKinney #logic
Synchronous Logic Simulator (JGM).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.