BibSLEIGH — synchron stem

Used together with:

model (81)
system (64)
program (60)
base (55)
time (51)

Stem synchron$ (all stems)

631 papers:

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