Search results for "synchronous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ramesh Bharadwaj	SOL: A Verifiable Synchronous Language for Reactive Systems.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
16	David Garriou	Symbolic Simulation of Synchronous Programs.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
16	Jean-Louis Colaço, Marc Pouzet	Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
16	Mirabelle Nebut, Sophie Pinchinat	A Decidable Clock Language for Synchronous Specifications.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
16	Vinod Ganapathy, S. Ramesh 0001	Slicing Synchronous Reactive Programs.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
16	Leszek Holenderski, Axel Poigné	Synchronous Automata for Synchronous Programming Languages.	FBT	1997	DBLP BibTeX RDF
16	Garik Markarian, Phillip Benachour, Bahram Honary	Novel Decoding Technique for the Synchronous and Quasi-synchronous Multiple Access Adder Channel.	IMACC	1997	DBLP DOI BibTeX RDF
16	Zoran Kostic, Edward L. Titlebaum	The design and performance analysis for several new classes of codes for optical synchronous CDMA and for arbitrary-medium time-hopping synchronous CDMA communication systems.	IEEE Trans. Commun.	1994	DBLP DOI BibTeX RDF
16	Giovanni B. Gerace, G. Gestri	Decomposition of a Synchronous Machine into an Asynchronous Submachine driving a Synchronous One	Inf. Control.	1968	DBLP DOI BibTeX RDF
16	Giovanni B. Gerace, G. Gestri	Decomposition of Synchronous Sequential Machines into Synchronous and Asynchronous Submachines	Inf. Control.	1967	DBLP DOI BibTeX RDF
15	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
15	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
15	Myongkeun Oh, Victor Matveev	Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization
15	Paul Gastin, Nathalie Sznajder, Marc Zeitoun	Distributed synthesis for well-connected architectures.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Synthesis problem, Synchronous architectures, Distributed systems
15	Philippe Grosse, Yves Durand, Paul Feautrier	Methods for power optimization in SOC-based data flow systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	4G base-band modem, data-driven SOC, synchronous data-flow graph, Power optimization
15	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
15	Yuzhou Zhang, Jianyong Wang 0001, Yi Wang 0008, Lizhu Zhou	Parallel community detection on large networks with propinquity dynamics.	KDD	2009	DBLP DOI BibTeX RDF	data mining, parallel algorithm, graph mining, community detection, bulk synchronous parallel
15	Chrisovalantis Kefalidis, Georgia Lazakidou, Symeon Retalis	SyCo: a collaborative learning tool for generating ideas in private and in public.	IDC	2009	DBLP DOI BibTeX RDF	learning, synchronous, creativity support tool, collaborative tool
15	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
15	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
15	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
15	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
15	Siddharth Garg, Diana Marculescu	System-level throughput analysis for process variation aware multiple voltage-frequency island designs.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	manufacturing process variations, maximum cycle mean, voltage-frequency islands, performance analysis, system-level design, Globally asynchronous locally synchronous
15	Zhiyi Yu, Michael J. Meeuwsen, Ryan W. Apperson, Omar Sattari, Michael A. Lai, Jeremy W. Webb, Eric W. Work, Tinoosh Mohsenin, Bevan M. Baas	Architecture and Evaluation of an Asynchronous Array of Simple Processors.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	programmable DSP, digital signal processing, DSP, multi-core, array processor, GALS, many-core, chip multi-processor, globally asynchronous locally synchronous
15	Danilo Gligoroski, Smile Markovski, Svein J. Knapskog	The Stream Cipher Edon80.	The eSTREAM Finalists	2008	DBLP DOI BibTeX RDF	synchronous stream cipher, quasigroup, quasigroup string transformations, hardware, Latin square
15	Ivan Miro Panades, Fabien Clermidy, Pascal Vivet, Alain Greiner	Physical Implementation of the DSPIN Network-on-Chip in the FAUST Architecture.	NOCS	2008	DBLP DOI BibTeX RDF	DSPIN, ANOC, physical implementation, FAUST, bi-synchronous FIFO, network-on-chip, NoC
15	Quentin Jones, Mihai Moldovan, Daphne R. Raban, Brian Butler 0001	Empirical evidence of information overload constraining chat channel community interactions.	CSCW	2008	DBLP DOI BibTeX RDF	synchronous cmc, online communities, chat, information overload, collaborative computing, irc
15	Jin-Ho Chung, Kyeongcheol Yang	Design of M-Ary Low Correlation Zone Sequence Sets by Interleaving.	SETA	2008	DBLP DOI BibTeX RDF	low correlation zone (LCZ) sequences, quasi-synchronous code-division multiple access (QS-CDMA), M-ary sequences, interleaved sequences
15	J. Alfredo Sánchez 0001, Daniel Strazzulla, Rosa G. Paredes	Enhancing interaction and collaboration in multimedia rooms with multilayered annotations and telepointers.	IHC	2008	DBLP BibTeX RDF	multi-layer systems, strata, annotations, interactive displays, synchronous collaboration, telepointers
15	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
15	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
15	Jun Zhu 0011, Ingo Sander, Axel Jantsch	Energy efficient streaming applications with guaranteed throughput on MPSoCs.	EMSOFT	2008	DBLP DOI BibTeX RDF	synchronous moc, energy efficiency, mpsocs, streaming applications
15	JianZhou Quan, Yuhui Wang, Zhouping Yin	Design and Implement of Synchronizing Dual-Drive Gantry Based on Multi-axes Motion Control Card.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Dual-drive, synchronous compensation control, multi-axes motion control card
15	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
15	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
15	Li Liu 0007, David A. Cartes, Jabid Quiroga	Modeling and simulation for condition based maintenance: a case study in Navy ship application.	SCSC	2007	DBLP BibTeX RDF	condition based maintenance (CBM), permanent magnet synchronous motors, ship, fault diagnosis
15	Pabitra Mohan Khilar, Sudipta Mahapatra	Intermittent Fault Diagnosis in Wireless Sensor Networks.	ICIT	2007	DBLP DOI BibTeX RDF	wireless sensor networks, Identifiability, synchronous systems, intermittent faults, distributed diagnosis
15	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
15	Mohamed Kawokgy, C. André T. Salama	A low-power CSCD asynchronous viterbi decoder for wireless applications.	ISLPED	2007	DBLP DOI BibTeX RDF	current sensing completion detection, low-power, synchronous, wireless, digital signal processing, asynchronous, viterbi, handshaking
15	David Gamez	SpikeStream: A Fast and Flexible Simulator of Spiking Neural Networks.	ICANN (1)	2007	DBLP DOI BibTeX RDF	SpikeStream, event-based simulation, synchronous simulation, biologically inspired robotics, Spiking neural networks
15	Dirk Stichling, Natascha Esau, Bernd Kleinjohann, Lisa Kleinjohann	Real-Time Camera Tracking for Mobile Devices: The VisiTrack System.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	camera tracking, synchronous dataflow graphs, computer vision, real-time, augmented reality, robotics, SDF
15	Xin Li 0020, Reinhard von Hanxleden	A concurrent reactive Esterel processor based on multi-threading.	SAC	2006	DBLP DOI BibTeX RDF	multithreading, processor architecture, synchronous languages, esterel
15	Gwenaël Delaval, Éric Rutten	A domain-specific language for task handlers generation, applying discrete controller synthesis.	SAC	2006	DBLP DOI BibTeX RDF	discrete control synthesis, safe design, real-time systems, domain-specific language, synchronous programming
15	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
15	Martin D. Beer, Frances Slack, Gillian Armitt	Collaboration and Teamwork: Immersion and Presence in an Online Learning Environment.	Inf. Syst. Frontiers	2005	DBLP DOI BibTeX RDF	semi-immersive environment, collaborative learning, presence, problem-based learning, synchronous communication, occupational therapy
15	Janis Sermulins, William Thies, Rodric M. Rabbah, Saman P. Amarasinghe	Cache aware optimization of stream programs.	LCTES	2005	DBLP DOI BibTeX RDF	cache, embedded, fusion, cache optimizations, synchronous dataflow, stream programing, StreamIt
15	Junfeng Li, Xiwen Zhang, Xiang Ao, Guozhong Dai	Sketch recognition with continuous feedback based on incremental intention extraction.	IUI	2005	DBLP DOI BibTeX RDF	incremental intention extraction, lag window, on-line synchronous recognition, sketch recognition
15	K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou	Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming.	WORDS	2005	DBLP DOI BibTeX RDF	TCoDA, Multimedia, Real-time, synchronous, streaming, Music, Digital, Ensemble, TMO
15	Darren Aaberge, Ken Mockler, Dieu Van Dinh, Raoul Belleau, Tim Donovan, Reid Hewlitt	Meeting the Test Challenges of the 1 Gbps Parallel RapidIO Interface with New Automatic Test Equipment Capabilities.	VTS	2005	DBLP DOI BibTeX RDF	RapidIO, Source-Synchronous, LVDS, Differential, ATE, Non-determinism
15	Yuan-sheng Luo, Dafang Zhang, Yinghua Min	An Improved Scheme of Index-Based Checkpointing.	PRDC	2005	DBLP DOI BibTeX RDF	Domino-effect, Active-synchronous, Distributed systems, Index, Checkpoint
15	William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe	Teleport messaging for distributed stream programs.	PPoPP	2005	DBLP DOI BibTeX RDF	embedded, digital signal processing, dependence analysis, synchronous dataflow, StreamIt, event handling
15	Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu	A compile-time optimization framework for Ada rendezvous.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	task, asynchronous communication, rendezvous, synchronous communication
15	William D. Tucker	Connecting bridges across the digital divide.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	community-centered, semi-synchronous, user interface, instant messaging, digital divide, multi-modal
15	Mohamed Kawokgy, C. André T. Salama	Low-power asynchronous viterbi decoder for wireless applications.	ISLPED	2004	DBLP DOI BibTeX RDF	bundled-data, four-phase, low-power, synchronous, wireless, VHDL, digital signal processing, asynchronous, register transfer level, viterbi algorithm, speed-independent, handshaking protocol
15	Naishuo Tian, Zhe George Zhang	Stationary Distributions of GI/M/c Queue with PH Type Vacations.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	GI/M/c queue, synchronous vacations, PH distribution, matrix-geometric solution, stochastic decomposition
15	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying	Refinement-based formal verification with heterogeneous timing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space
15	Nadine Richard	InViWo agents: write once, display everywhere.	Web3D	2003	DBLP DOI BibTeX RDF	avatars, virtual agents, synchronous systems, Java3D
15	Michal Karczmarek, William Thies, Saman P. Amarasinghe	Phased scheduling of stream programs.	LCTES	2003	DBLP DOI BibTeX RDF	cyclo-static dataflow, phased scheduling, DSP, buffer size, synchronous dataflow, stream programming, code size, StreamIt
15	Cheng-Yuan Lin, Jyh-Shing Roger Jang, Mao-Yuan Hsu	An automatic singing voice rectifier design.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	pitch synchronous overlap and add, singing voice rectifier, dynamic time warping
15	Emil Talpes, Diana Marculescu	A critical analysis of application-adaptive multiple clock processors.	ISLPED	2003	DBLP DOI BibTeX RDF	multi clock processors, dynamic voltage scaling, microarchitecture, simulation framework, globally asynchronous locally synchronous
15	Irith Pomeranz, Sudhakar M. Reddy	Enumeration of Test Sequences in Increasing Chronological Order to Improve the Levels of Compaction Achieved by Vector Omission.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	synchronous sequential circuits, Static test compaction
15	Lucia Rapanotti, Canan Tosunoglu Blake, Robert Griffiths 0002	eTutorials with voice groupware: real-time conferencing to support computing students at a distance.	ITiCSE	2002	DBLP DOI BibTeX RDF	eTutorials, synchronous conferencing, voice groupware, distance learning
15	Bassel R. Arafeh	Clustering Algorithm for Scheduling Parallel Programs on NOWs with Synchronization Requirements at the Application Level.	IPDPS	2002	DBLP DOI BibTeX RDF	Clustering, deadlocks, scheduling algorithms, network of Workstations, synchronous communication
15	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
15	Gabriela Peretti, Eduardo Romero 0002, Franco Salvático, Carlos A. Marqués	A Functional Approach to Test Cascaded BCD Counters.	DELTA	2002	DBLP DOI BibTeX RDF	off-line built-in self-test, functional test, synchronous systems, digital testing
15	Hak-soo Yu, Jacob A. Abraham	An Efficient 3-Bit -Scan Multiplier without Overlapping Bits, and Its 64x64 Bit Implementation.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	3-bit-scan, power-delay-area tradeoffs, synchronous sequential, multiplier, partial product
15	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
15	R. K. Shyamasundar, J. V. Aghav	Validating Real-Time Constraints in Embedded Systems.	PRDC	2001	DBLP DOI BibTeX RDF	Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems
15	Martin Rötteler, Jörn Müller-Quade	Separation of Orbits under Group Actions with an Application to Quantum Systems.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Graph of the action, Local unitary transformations, Invariant theory, Synchronous operation
15	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
15	Irith Pomeranz, Sudhakar M. Reddy	Fault diagnosis based on parameters of output responses.	PRDC	2000	DBLP DOI BibTeX RDF	output responses parameters, unmodeled faults, fault diagnosis, fault diagnosis, logic testing, sequential circuits, dictionaries, synchronous sequential circuits, diagnostic resolution
15	Mauricio Marín	Comparative Analysis of a Parallel Discrete-Event Simulator.	SCCC	2000	DBLP DOI BibTeX RDF	simulation running times, optimistic synchronization protocol, bulk-synchronous parallel model, parallel processing, protocols, benchmarks, discrete event simulation, synchronisation, software performance evaluation, parallel discrete-event simulator, large scale systems, protocol performance
15	William F. McColl, Alexandre Tiskin	Memory-Efficient Matrix Multiplication in the BSP Model.	Algorithmica	1999	DBLP DOI BibTeX RDF	Bulk-synchronous parallel computation, Memory efficiency, BSP, Parallel matrix multiplication
15	Paul Caspi, Alain Girault, Daniel Pilaud	Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed processing, reactive systems, Asynchronous communications, synchronous languages, automatic distribution
15	John M. Rushby	Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems
15	Ivan Marsic	DISCIPLE: A Framework for Multimodal Collaboration in Heterogeneous Environments.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	CSCW frameworks, shared electronic workspaces, group communication, multimodal interface, JavaBeans, synchronous groupware
15	Wen Li, Weicong Wang, Ivan Marsic	Collaboration transparency in the DISCIPLE framework.	GROUP	1999	DBLP DOI BibTeX RDF	CSCW frameworks, collaboration-transparent applications, JavaBeans, synchronous groupware
15	Christophe Cérin, Jean-Luc Gaudiot	Algorithms for Stable Sorting to Minimize Communications in Networks of Workstations and Their Implementations in BSP.	IWCC	1999	DBLP DOI BibTeX RDF	foundations of parallel languages, bulk synchronous parallel model and broadcasting with selective reduction model. algorithms for solving problems on clusters, job and resource management, parallel programming
15	Gera Goft, Esti Yeger Lotem	The AS/400 Cluster Engine: A Case Study.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	horizontal growth, virtually synchronous group communications, shared-nothing model, callback function, reliable FIFO-ordered multicast, reliable Totally-ordered multicast, Inter-group consistency, Flexible Group Member, strong virtual synchrony, Cluster, high availability, group membership, disaster recovery
15	Carl K. Chang, Alexei Vorontsov, Jia Zhang 0001, Francis K. H. Quek	Rule-Mitigated Collaboration Technology.	FTDCS	1999	DBLP DOI BibTeX RDF	RRO, Discussion threads, Synchronous/Asynchronous, CSCW, Scope
15	Weiqun Zheng, Shamim Khan, Hong Xie	BSP Pro: A Java-Based BSP Performance Profiling System.	ISPAN	1999	DBLP DOI BibTeX RDF	Bulk Synchronous Parallel (BSP) model, Java, performance evaluation, load balancing, profiling, performance prediction, visualisation, cost model
15	Irith Pomeranz, Sudhakar M. Reddy	On Test Compaction Objectives for Combinational and Sequential Circuits.	VLSI Design	1998	DBLP DOI BibTeX RDF	combinational circuits synchronous sequential circuits test compaction tester storage schemes tester memory requirements
15	Ifay F. Chang	Internet interactive authoring, teach and learning-a breakthrough for education.	COMPSAC	1997	DBLP DOI BibTeX RDF	Internet interactive authoring, telecommunication medium, inverted open platform, common browser user interface, common network platform, information handling technologies, cross platform language, Web publishing system, teaching content, information publishing, Internet education systems, pedagogic research, IT technological advances, JAVA, Internet, education, authoring, programming languages, teaching, learning systems, user community, asynchronous interaction, synchronous interaction
15	Shmuel Katz, Patrick Lincoln, John M. Rushby	Low-Overhead Time-Triggered Group Membership.	WDAG	1997	DBLP DOI BibTeX RDF	time-triggered protocol, fault tolerance, formal modeling, group membership, synchronous algorithms
15	Konrad Klöckner, Peter Mambrey, Wolfgang Prinz, Markus Sohlenkamp	Multimedia groupware design for a distributed government.	EUROMICRO	1997	DBLP DOI BibTeX RDF	multimedia groupware design, distributed government, German government, Bonn, Berlin, telecooperation, government ministries, POLITeam project, asynchronous cooperation, synchronous cooperation, electronic circulation folder, common workspace, office processes, prototypes, participatory design, user requirements, government data processing, Germany, Germany
15	Donald L. Hung, Antonio Arsgao, Jorge L. Silva, Eduardo Marques, Karl Hillesland	UB1 - a recurrent neural network based parallel machine for solving simultaneous linear equations.	SBRN	1997	DBLP DOI BibTeX RDF	UB1 recurrent neural network, simultaneous linear equation solving, synchronous execution, field programmable gate arrays, real-time systems, parallel machine, systolic array, neural chips, ring topology, neural net architecture
15	Dilip Krishnaswamy, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee	SPITFIRE: scalable parallel algorithms for test set partitioned fault simulation.	VTS	1997	DBLP DOI BibTeX RDF	SPITFIRE, scalable parallel algorithms, test set partitioned fault simulation, synchronous parallel algorithms, sequential VLSI circuits, VLSI, fault coverage
15	R. K. Aditham, Rajiv Jain, Murali Srinivasan	Interest Based Collaboration Framework.	WETICE	1997	DBLP DOI BibTeX RDF	dynamic interest specification, synchronous collaborative applications, flexible medium, message passing, message passing, collaboration framework
15	Mark Roseman, Saul Greenberg	Building Real-Time Groupware with GroupKit, a Groupware Toolkit.	ACM Trans. Comput. Hum. Interact.	1996	DBLP DOI BibTeX RDF	GroupKit, computer-supported cooperative work, user interface toolkits, synchronous groupware, groupware toolkits
15	G. Seaman	A Latency-Hiding MIMD Wavelet Transform.	PDP	1996	DBLP DOI BibTeX RDF	latency-hiding MIMD wavelet transform, systolic processors, MIMD systems, tree-based structure, data-parallel SIMD, synchronous fine-grained communication, data driven algorithm, real-time systems, real time systems, parallel algorithms, parallel algorithm, scalable, parallel processing, wavelet transforms, message passing, message-passing, SIMD, discrete wavelet transform, trees (mathematics), mathematics computing, communication latency
15	José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes	An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks.	PDP	1996	DBLP DOI BibTeX RDF	interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number
15	Hideki Murayama, Satoshi Yoshizawa, Takeshi Aimoto, Hidenori Inouchi, Shooichi Murase, Takehisa Hayashi, Hiroshi Iwamoto	A Study of High-Performance Communication Mechanism for Multicomputer Systems.	IPPS	1996	DBLP DOI BibTeX RDF	protocol overhead, copy-less communication, synchronous non-blocking interface, UNIX, communication mechanism
15	Vigyan Singhal, Sharad Malik, Robert K. Brayton	The case for retiming with explicit reset circuitry.	ICCAD	1996	DBLP DOI BibTeX RDF	reset state, synchronous reset, asynchronous reset, Retiming, initial state
15	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin.	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication
15	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
15	Yuan Lu, Irith Pomeranz	Synchronization of large sequential circuits by partial reset.	VTS	1996	DBLP DOI BibTeX RDF	large synchronous sequential circuits, synchronization, sequential circuits, synchronisation, feedback loops, synchronizing sequence, partial reset
15	Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs	Dynamic diagnosis of sequential circuits based on stuck-at faults.	VTS	1996	DBLP DOI BibTeX RDF	dynamic diagnosis, stuck-at fault simulation, cause-effect analysis, effect-cause analysis, error propagation back-trace, fault diagnosis, logic testing, sequential circuits, synchronous sequential circuit, matching algorithm
15	Xuemin Lin 0001, Simon Fox	An effective parallelization of execution of multijoins in multiprocessor systems.	ISPAN	1996	DBLP DOI BibTeX RDF	multijoins execution, synchronous execution strategy, processor allocation problem, inter-operator parallelization problem, parallelization, relational databases, multiprocessing systems, multiprocessor systems, processor scheduling
15	Shawn Koppenhoefer, Jean-Dominique Decotignie	Formal verification for distributed real-time control: periodic Producer/Consumer.	ICECCS	1996	DBLP DOI BibTeX RDF	distributed real-time control, periodic Producer/Consumer, adapted synchronous model, communication parameters, distributed periodic control, communication in networks, communication failures, buffer overwrites, model, verification, formal verification
15	Yen-Jen Lee, Horng-Juing Lee, Wei-hsiu Ma, David Hung-Chang Du	A Systematic Approach to Design the Network-Based Learning Environment for Home and Office.	LCN	1996	DBLP DOI BibTeX RDF	home working, network-based learning environment, asynchronous education, synchronous education, user registration, course material storage, multiple delivery, end-user viewing tools, lecture model, lecture materials, lecture presentation, lecture interaction, synchronization specification, strong-weak networked hyperlink, distributed network environment, object-oriented modular design, timeline-based presentation synchronization, event-driven presentation synchronization, browsing tools, home, content creation, telecommuting, office, media objects