Search results for "Synchronous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Mohammad S. Obaidat, Jun Teng	Performance analysis of parallel frame synchronization scheme in SDH systems.	ICCCN	1997	DBLP DOI BibTeX RDF	synchronous digital hierarchy, parallel frame synchronization, SDH networks, false synchronous probability, average synchronous incoming time, average synchronous catching time, average synchronization holding time, SDH synchronization system, off-the-shelf integrated circuits, performance analysis
4	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
4	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
4	Marco Zennaro, Raja Sengupta	Distributing synchronous programs using bounded queues.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
4	Octavian Petre, Hans G. Kerkhoff	Scan Test Strategy for Asynchronous-Synchronous Interfaces.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	globally asynchronous locally synchronous (GALS), asynchronous synchronous interface, synchronizers, scan test
4	Alain Girault, Clément Ménier	Automatic Production of Globally Asynchronous Locally Synchronous Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF	Globally synchronous-locally asynchronous (GALS), asynchronous communications, hardware/software codesign, distributed architectures, synchronous circuits, automatic distribution
4	Dongyang Long, Weijia Jia, Ming Li	On Synchronous Coding.	ITCC	2002	DBLP DOI BibTeX RDF	synchronous coding, optimal maximal prefix codes, synchronous code, data compression, Huffman coding
4	Christof Fetzer	Enforcing synchronous system properties on top of timed systems.	PRDC	2000	DBLP DOI BibTeX RDF	synchronous system properties, synchronous system model, missed deadline, performance evaluation, performance, computational complexity, complexity, protocols, protocols, fault tolerant computing, timed systems, omission failures, dependable distributed system
4	Sijing Zhang, E. Stewart Lee	Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol.	RTCSA	1999	DBLP DOI BibTeX RDF	Hard real-time communication, timed token medium access control protocol, synchronous bandwidth allocation (SBA), global/local SBA schemes, FDDI networks, synchronous messages
4	Allen E. Sjogren, Chris J. Myers	Interfacing Synchronous and Asynchronous Modules Within a High-Speed Pipeline.	ARVLSI	1997	DBLP DOI BibTeX RDF	Mixed synchronous/asynchronous interfacing, stoppable clocks, high-speed pipelines, globally synchronous locally asynchronous, metastability, synchronization failure
4	Sijing Zhang, Tee-Hiang Cheng, K. R. Subramanian, Liren Zhang, Chee Heng Tan	Testing the Feasibility of Synchronous Bandwidth Allocation for Time-Critical Communication in FDDI Networks.	ICCCN	1997	DBLP DOI BibTeX RDF	timed token MAC protocol, real-time communications, FDDI networks, Synchronous bandwidth allocation, synchronous messages, feasibility test
4	Sijing Zhang, Alan Burns	An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol.	IEEE/ACM Trans. Netw.	1995	DBLP DOI BibTeX RDF	synchronous bandwidth, synchronous bandwidth allocation schemes, timed-token medium access control protocol, real time communications, FDDI networks, synchronous messages
4	Gill A. Pratt, John Nguyen	Distributed synchronous clocking.	ARVLSI	1995	DBLP DOI BibTeX RDF	distributed synchronous clocking, hardware clock, synchronous processor, distributed error correction algorithm, global phase alignment, mode lock, k-ary Cartesian meshes, scalability, graph theory, timing, synchronisation, error correction, clocks, phase locked loops, digital systems, clock signals
4	Sijing Zhang, Alan Burns	n the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less than 2*TTRT in an FDDI Network.	ICCCN	1995	DBLP DOI BibTeX RDF	timed token medium access control protocol, real-time communications, FDDI networks, synchronous bandwidth allocation, synchronous messages
4	David C. Etherton, Michael M. Johnson, George C. Polyzos	Approximating the FDDI synchronous mode.	ICCCN	1995	DBLP DOI BibTeX RDF	FDDI synchronous mode approximation, real-time traffic performance guarantees, Fiber Distributed Data Interface, FDDI protocol, network parameter tuning, hardware limitations, first-generation FDDI adapters, higher-level software, two-tiered regulation facility, synchronous transmission rate, device driver buffers, guaranteed performance system queues, standard performance system queues, user-level traffic, distributed user-level software, throughput, bandwidth, upper bound, real-time application, LAN, operating system kernel, FDDI
4	Thomas Cheatham, Amr F. Fahmy, Dan C. Stefanescu, Leslie G. Valiant	Bulk synchronous parallel computing-a paradigm for transportable software.	HICSS	1995	DBLP DOI BibTeX RDF	bulk synchronous parallel computing, transportable software, parallel software industry, architecture independent software, scalable performance, multiprocessor computers, H-BSP, transportable algorithms, Bulk Synchronous Parallel Model, parallel computational threads, computational threads, synchronization period, unbundled compiler technology, parallel algorithms, parallel programming, program compilers, software performance evaluation, software portability, BSP Model, parallel computing environment, parallel computer environment
4	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
3	Maxime Collomb, Mountaz Hascoët	Synchronous cooperation and visualization for social bookmarking systems.	AVI	2010	DBLP DOI BibTeX RDF	distributed display environments, new interaction techniques and devices, synchronous cooperative systems, heterogeneity, adaptable systems, social bookmarking, group and organization interfaces
3	Amir-Mohammad Rahmani, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen	Power and performance optimization of voltage/frequency island-based networks-on-chip using reconfigurable synchronous/bi-synchronous FIFOs.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	globally asynchronous locally synchronous (gals), low-power and high-performance design, reconfigurable fifos, voltage/frequency islands (vfis), networks-on-chip (nocs)
3	Robert P. Biuk-Aghai, Keng Hong Lei	Chatting in the Wiki: synchronous-asynchronous integration.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	communication, synchronous, wiki, instant messaging, asynchronous
3	Kerstin Bauer, Klaus Schneider	From synchronous programs to symbolic representations of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	symbolic representation of transition systems, hybrid systems, synchronous languages
3	Jens Brandt, Klaus Schneider, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
3	Fernando Royo, Teresa Olivares, Luis Orozco-Barbosa	A synchronous engine for wireless sensor networks.	Telecommunication Systems	2009	DBLP DOI BibTeX RDF	Synchronous engine, Wireless sensor networks, MAC protocols, Energy saving
3	François Bonnet, Michel Raynal	Conditions for Set Agreement with an Application to Synchronous Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	lower bound, efficiency, condition, synchronous system, agreement problem
3	Te-Hsiu Sun	Stereo Matching Using Synchronous Hopfield Neural Network.	ICEIS	2009	DBLP DOI BibTeX RDF	Synchronous Hopfield neural network, Computer vision, Stereo matching, Correspondence problem
3	George Vellis	Model-based development of synchronous collaborative user interfaces.	EICS	2009	DBLP DOI BibTeX RDF	model-based ui development, user interface description languages (uidl), multi-user interfaces, synchronous groupware
3	Xingqiao Liu, Jianqun Hu, Shaoqing Teng, Liang Zhao, Guohai Liu	The design of three-motor intelligent synchronous decoupling control system.	GEC Summit	2009	DBLP DOI BibTeX RDF	neuron decoupling, synchronous control system, BP neural network, speed, tension, decoupling control
3	Nanrun Zhou, Binyang Zeng, Lihua Gong	Quantum CSMA/CD Synchronous Communication Protocol with Entanglement.	WISM	2009	DBLP DOI BibTeX RDF	Quantum Synchronous Communication, Quantum Entanglement, EPR Pairs, CSMA/CD
3	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
3	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin	Clock-driven distributed real-time implementation of endochronous synchronous programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	clock calculus, distributed real-time scheduling, intermediate representation, synchronous model
3	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
3	Ugo Erra, Giuseppe Scanniello	Synchronous Communication Media in the Software Requirements Negotiation Process.	CDVE	2009	DBLP DOI BibTeX RDF	synchronous communication media, Requirements engineering, distributed virtual environment, distributed software development
3	Tuan-Dung Nguyen, Thaere Eido, Tülin Atmaca	DCUM: dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks.	SimuTools	2009	DBLP DOI BibTeX RDF	fixed-size optical payloads, quality of service (QoS) management, synchronous optical packet switching (OPS) networks, simulation
3	Marcel Karam, Maha Abou Ibrahim	Synchronous online help support with visual instruction aids for workflow-based MVC web applications.	SIGDOC	2009	DBLP DOI BibTeX RDF	synchronous online help support, visual web annotation
3	Roberto Lublinerman, Christian Szegedy, Stavros Tripakis	Modular code generation from synchronous block diagrams: modularity vs. code size.	POPL	2009	DBLP DOI BibTeX RDF	clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams
3	Marc Geilen	Reduction techniques for synchronous dataflow graphs.	DAC	2009	DBLP DOI BibTeX RDF	synchronous dataflow graphs, model-based design, reduction techniques
3	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
3	Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali	Towards Safe Design of Synchronous Bus Protocols in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	synchronous systems, Event-B, parameterized systems, bus protocols
3	Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen	Tight WCRT analysis of synchronous C programs.	CASES	2009	DBLP DOI BibTeX RDF	precision timed machines, model checking, synchronous languages, static timing analysis
3	Shimin Chen	FlashLogging: exploiting flash devices for synchronous logging performance.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	flash devices, flashlogging, near-zero-delay archival disk, online transaction processing, outlier detection and hiding, recovery processing, synchronous logging, unconventional array organization
3	Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee	A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.	JTRES	2009	DBLP DOI BibTeX RDF	synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
3	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
3	Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang 0002, Mingxuan Yuan	An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, model checking, memory management, synchronous dataflow
3	Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis	Semantics-preserving multitask implementation of synchronous programs.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
3	Michael Okun, Amnon Barak, Eli Gafni	Renaming in synchronous message passing systems with Byzantine failures.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Renaming problem, Synchronous message passing model, Byzantine failures
3	Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli	Compositionally Progressive Solutions of Synchronous FSM Equations.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Language equations, Progressive solutions, Synchronous composition, Finite state machines
3	Walter Dosch	Coordinating Almost Synchronous Communication Streams.	ICONS	2008	DBLP DOI BibTeX RDF	almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine
3	Martin Simlastík, Viera Stopjaková	Automated Synchronous-to-Asynchronous Circuits Conversion: A Survey.	PATMOS	2008	DBLP DOI BibTeX RDF	Asynchronous Digital Circuits, Self-time Digital Circuits, Synchronous-to-asynchronous Conversion, DLAP, De-synchronization, Phased Logic, LEDR, Low Power, Null Convention Logic, SADT
3	Jeremy F. Villalobos, Barry Wilkinson	Latency hiding by redundant processing: a technique for grid-enabled, iterative, synchronous parallel programs.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF	parallel, grid, synchronous, latency hiding
3	N. Deniz Alp, Çigdem Turhan	English to Turkish Example-Based Machine Translation with Synchronous SSTC.	ITNG	2008	DBLP DOI BibTeX RDF	Synchronous SSTC, Machine Translation, Example Based Machine Translation
3	Claudia-Lavinia Ignat, Stavroula Papadopoulou, Gérald Oster, Moira C. Norrie	Providing awareness in multi-synchronous collaboration without compromising privacy.	CSCW	2008	DBLP DOI BibTeX RDF	edit profiles, multi-synchronous interaction, privacy, awareness, cscw
3	Chia-Jui Hsu, José Luis Pino, Shuvra S. Bhattacharyya	Multithreaded simulation for synchronous dataflow graphs.	DAC	2008	DBLP DOI BibTeX RDF	multithreaded simulation, scheduling, synchronous dataflow
3	Weigang Wang	Powermeeting: gwt-based synchronous groupware.	Hypertext	2008	DBLP DOI BibTeX RDF	google web toolkit, gwt, rich user experience, web 2.0, ajax, data replication, synchronous groupware
3	Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet	Abstraction of Clocks in Synchronous Data-Flow Systems.	APLAS	2008	DBLP DOI BibTeX RDF	Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks
3	Kevin Singley, Jennifer Lai, Lei Kuang, Jung-Mu Tang	Bluereach: harnessing synchronous chat to support expertise sharing in a large organization.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	synchronous chat, informal learning, expertise sharing
3	Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli	Optimizing the Implementation of Communication in Synchronous Reactive Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	optimization, real-time, operating systems, synchronous models
3	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
3	Gwenaël Delaval, Alain Girault, Marc Pouzet	A type system for the automatic distribution of higher-order synchronous dataflow programs.	LCTES	2008	DBLP DOI BibTeX RDF	distribution, functional programming, type systems, synchronous programming
3	Chia-Jui Hsu, Ming-Yung Ko, Shuvra S. Bhattacharyya, Suren Ramasubbu, José Luis Pino	Efficient simulation of critical synchronous dataflow graphs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	simulation, Scheduling, synchronous dataflow
3	Josef Widder, Ulrich Schmid	Booting clock synchronization in partially synchronous systems with hybrid process and link failures.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Initial clock synchronization, System start-up, Hybrid failure models, Link failures, Partially synchronous systems, Fault-tolerant distributed algorithms
3	Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal	Timestamping messages and events in a distributed system using synchronous communication.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Timestamping messages and events, Edge decomposition, Vertex cover, Synchronous communication, Vector clocks
3	Milos Krstic, Eckhard Grass, Frank K. Gürkaynak, Pascal Vivet	Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	asynchronous/synchronous operation, VLSI, interfaces, GALS
3	Kwang-Ting (Tim) Cheng	Combining synchronous and asynchronous timing schemes for high-performance systems.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	high-performance systems, synchronous, asynchronous, DAC, ITC
3	Abdulmotaleb El-Saddik, Dongsheng Yang, Nicolas D. Georganas	Tools for transparent synchronous collaborative environments.	Multimedia Tools Appl.	2007	DBLP DOI BibTeX RDF	Synchronous collaborative environments
3	Yanxia Shen, Zhicheng Ji	Passivity-Based Fuzzy Sliding-Mode Control System and Experiment Research for Permanent Magnet Synchronous Motors.	ICIC	2007	DBLP DOI BibTeX RDF	Permanent Magnet Synchronous Motors(PMSM), passivity-based control, sliding-mode control
3	Che-Wei Lin, Jeen-Shing Wang, Chun-Chang Yu, Ting-Yu Chen	Synchronous Pipeline Circuit Design for an Adaptive Neuro-fuzzy Network.	ICIC	2007	DBLP DOI BibTeX RDF	Synchronous pipeline design, neuro-fuzzy circuit, FPGA
3	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
3	Edward A. Lee, Haiyang Zheng	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
3	Dimitrios N. Loizos, Paul-Peter Sotiriadis, Gert Cauwenberghs	High-speed, model-free adaptive control using parallel synchronous detection.	SBCCI	2007	DBLP DOI BibTeX RDF	VLSI optimization, high-speed control, model-free, multi-dithering, synchronous detection, translinear circuits, adaptive control
3	Yingxin Pan, Chen Zhao	Group Efficacy in Asynchronous vs. Multi-synchronous Virtual Teams: An Empirical Study.	INTERACT	2007	DBLP DOI BibTeX RDF	Group Efficacy, Asynchronous & Multi-synchronous communication, CSCW, groupware, virtual team
3	Nikolaos D. Liveris, Chuan Lin, J. Wang, Hai Zhou, Prithviraj Banerjee	Retiming for Synchronous Data Flow Graphs.	ASP-DAC	2007	DBLP DOI BibTeX RDF	cycle length, synchronous data flow graphs, retiming
3	Gang Jin, Lei Wang 0011, Zhiying Wang, Kui Dai	An Optimal Design Method for De-synchronous Circuit Based on Control Graph.	APPT	2007	DBLP DOI BibTeX RDF	de-synchronous, control graph, performance evaluation, algorithm, Petri-net, asynchronous
3	Shiou-Wen Yeh, Jia-Jiunn Lo, Jeng-Jia Huang, Zhen-Yu Fan	A Synchronous Scaffolding Environment for Collaborative Technical Writing.	Edutainment	2007	DBLP DOI BibTeX RDF	process writing, synchronous scaffolding, collaborative learning, technical writing
3	Besnik Seljimi, Ioannis Parissis	Automatic generation of test data generators for synchronous programs: Lutess V2.	DOSTA	2007	DBLP DOI BibTeX RDF	Lutess, automatic test generation, synchronous programs
3	Paul Teehan, Mark R. Greenstreet, Guy G. Lemieux	A Survey and Taxonomy of GALS Design Styles.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	globally asynchronous, locally synchronous (GALS), clock domains, pausible clocks, loosely synchronous, synchronization, asynchronous
3	Irith Pomeranz, Sudhakar M. Reddy	On Generating Tests that Avoid the Detection of Redundant Faults in Synchronous Sequential Circuits with Full Scan.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	overtesting, test generation, Design-for-testability, synchronous sequential circuits, redundant faults, full-scan, fault dominance
3	Taisuke Izumi, Toshimitsu Masuzawa	Condition Adaptation in Synchronous Consensus.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	crash fault, condition-based approach, fault tolerance, adaptiveness, Distributed algorithm, synchronous system, consensus problem
3	Keqin Li	Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems.	The Journal of Supercomputing	2006	DBLP DOI BibTeX RDF	bulk synchronous computation, workload redistribution, simulation, heterogeneous computing system
3	Yahya E. Osais, Souhail Abdala, Ashraf Matrawy	A Multilayer Peer-to-Peer Framework for Distributed Synchronous Collaboration.	IEEE Internet Computing	2006	DBLP DOI BibTeX RDF	distributed synchronous collaboration, P2P, JXTA
3	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Synchronous condition-based consensus.	Distributed Computing	2006	DBLP DOI BibTeX RDF	Early deciding, Consensus, Input vector, Synchronous distributed system, Process crash failure
3	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	STTT	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
3	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
3	Christos Sofronis, Stavros Tripakis, Paul Caspi	A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.	EMSOFT	2006	DBLP DOI BibTeX RDF	process communication, optimality, embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
3	Timothy Bourke, Arcot Sowmya	A timing model for synchronous language implementations in simulink.	EMSOFT	2006	DBLP DOI BibTeX RDF	timed automata, synchronous languages, simulink
3	Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard	Automated Translation of C/C++ Models into a Synchronous Formalism.	ECBS	2006	DBLP DOI BibTeX RDF	GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment
3	Evangelos Kranakis, Danny Krizanc, Euripides Markou	Mobile Agent Rendezvous in a Synchronous Torus.	LATIN	2006	DBLP DOI BibTeX RDF	rendezvous with detection, synchronous, Mobile agent, torus, tokens, rendezvous
3	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
3	Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
3	Sander Stuijk, Marc Geilen, Twan Basten	Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	optimization, throughput, buffering, synchronous dataflow
3	Chia-Jui Hsu, Suren Ramasubbu, Ming-Yung Ko, José Luis Pino, Shuvra S. Bhattacharyya	Efficient simulation of critical synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	simulation, scheduling, synchronous dataflow
3	Jiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu	The Power and Limit of Adding Synchronization Messages for Synchronous Agreement.	ICPP	2006	DBLP DOI BibTeX RDF	Early-stopping, Round-based computation, Two-step, Uniform consensus, Distributed system, Lower bound, Message-passing, Synchronous system
3	Minh Hong Tran, Yun Yang, Gitesh K. Raikundalia	Extended radar view and modification director: awareness mechanisms for synchronous collaborative authoring.	AUIC	2006	DBLP DOI BibTeX RDF	awareness mechanisms, synchronous collaborative authoring, groupware, group awareness
3	Klaus Schneider, Jens Brandt, Eric Vecchié	Modular Compilation of Synchronous Programs.	DIPES	2006	DBLP DOI BibTeX RDF	modular compilation, synchronous languages
3	Constantin Serban, Naftaly H. Minsky	Generalized Access Control of Synchronous Communication.	Middleware	2006	DBLP DOI BibTeX RDF	Security, Access-control, RMI, Synchronous communication, Law Governed Interaction
3	Meletis Margaritis, Nikolaos M. Avouris, Georgios Kahrimanis	On Supporting Users' Reflection During Small Groups Synchronous Collaboration.	CRIWG	2006	DBLP DOI BibTeX RDF	collaborative problem solving, small group interaction, computer supported collaborative learning, interaction analysis, synchronous collaboration
3	William N. Scherer III, Doug Lea, Michael L. Scott	Scalable synchronous queues.	PPOPP	2006	DBLP DOI BibTeX RDF	contention freedom, dual data structures, dual queue, dual stack, lock freedom, synchronous queue, nonblocking synchronization
3	John M. Linebarger, Andrew J. Scholand, Mark A. Ehlen, Michael J. Procopio	Benefits of synchronous collaboration support for an application-centered analysis team working on complex problems: a case study.	GROUP	2005	DBLP DOI BibTeX RDF	benefits of collaboration, collaboration experiments, common mental models, synchronous collaboration, collaboration frameworks
3	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
3	Bastian Knerr, Martin Holzer 0002, Markus Rupp	Task sheduling for power optimisation of multi frequency synchronous data flow graphs.	SBCCI	2005	DBLP DOI BibTeX RDF	multi frequency systems, power optimisation, synchronous data flow graphs, task scheduling, frequency scaling
3	Marc Geilen, Twan Basten, Sander Stuijk	Minimising buffer requirements of synchronous dataflow graphs with model checking.	DAC	2005	DBLP DOI BibTeX RDF	optimization, model-checking, buffering, synchronous dataflow