Search results for "synchronous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Peter Tandler	Modeling Groupware Supporting Synchronous Collaboration with Heterogeneous Single- and Multi-User Devices.	CRIWG	2001	DBLP DOI BibTeX RDF
17	Boris D. Lubachevsky, Alan Weiss	Synchronous relaxation for parallel Ising spin simulations.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF	computational physics, Metropolis algorithm, optimistic simulation, conservative simulation
17	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
17	David G. Novick, Eleanor Wynn	Users and uses of synchronous business communications software.	SIGDOC	2001	DBLP DOI BibTeX RDF	ethnographic methods, user studies, task, modality
17	Fumitaka Komatsu, Hiroyuki Torikai, Toshimichi Saito	Various superstable synchronous phenomena in switch-coupled relaxation oscillators.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
17	Kip C. Killpack, Eric Mercer, Chris J. Myers	A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems.	ARVLSI	2001	DBLP DOI BibTeX RDF
17	David Kinniment, Alexandre Yakovlev, B. Gao	Synchronous and asynchronous A-D conversion.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
17	Reinhard Budde, Axel Poigné	Complex Reactive Control with Simple Synchronous Models.	LCTES	2000	DBLP DOI BibTeX RDF
17	Jens Muttersbach, Thomas Villiger, Wolfgang Fichtner	Practical Design of Globally-Asynchronous Locally-Synchronous Systems.	ASYNC	2000	DBLP DOI BibTeX RDF
17	Akira Utsumi, Howard Yang, Jun Ohya	Adaptive Human Motion Tracking Using Non-Synchronous Multiple Viewpoint Observations.	ICPR	2000	DBLP DOI BibTeX RDF
17	Voon-Yee Vee, Wen-Jing Hsu	Locality-preserving load-balancing mechanisms for synchronous simulations on shared-memory multiprocessors.	PADS	2000	DBLP DOI BibTeX RDF
17	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	The Control of Synchronous Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
17	Chung-Sheng Li, Kumar N. Sivarajan, David G. Messerschmitt	Statistical analysis of timing rules for high-speed synchronous VLSI systems.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
17	Anthony J. Weiss, Benjamin Friedlander	Synchronous DS-CDMA downlink with frequency selective fading.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
17	Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong	FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking.	ASP-DAC	1999	DBLP DOI BibTeX RDF	Finite State Machine, VHDL, Symbolic Model Checking
17	Simin Nadjm-Tehrani	Integration of Analog and Discrete Synchronous Design.	HSCC	1999	DBLP DOI BibTeX RDF
17	Mikel Larrea, Sergio Arévalo, Antonio Fernández 0001	Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems.	DISC	1999	DBLP DOI BibTeX RDF
17	Nicolas Halbwachs, Pascal Raymond	Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.	ASIAN	1999	DBLP DOI BibTeX RDF
17	Hee-Jun Park, Byung Kook Kim	An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications.	RTCSA	1999	DBLP DOI BibTeX RDF
17	Hidehiro Nakano, Toshimichi Saito, Kunihiko Mitsubori	Various impulsive synchronous patterns from mutually coupled ISC chaotic oscillators.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
17	Reinhard Budde, G. Michele Pinna, Axel Poigné	Coordination of Synchronous Programs.	COORDINATION	1999	DBLP DOI BibTeX RDF
17	Michael Gunzert, Andreas Nägele	Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components.	PDSE	1999	DBLP DOI BibTeX RDF
17	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
17	Oliver Jung, Christoph Ruland	Encryption with Statistical Self-Synchronization in Synchronous Broadband Networks.	CHES	1999	DBLP DOI BibTeX RDF	SDH/SONET, Cryptography, Encryption, Confidentiality, Modes of Operation, Broadband Networks, Self-Synchronization
17	Mohammad Saquib, Roy D. Yates, Narayan B. Mandayam	A decision feedback decorrelator for a dual rate synchronous DS/CDMA system.	Wirel. Networks	1998	DBLP DOI BibTeX RDF
17	Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana	Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences.	ICES	1998	DBLP DOI BibTeX RDF
17	Peggy B. K. Pang, Mark R. Greenstreet	Self-Timed Meshes Are Faster Than Synchronous.	ASYNC	1997	DBLP DOI BibTeX RDF	self-timed meshes, linear speed-up, per-processor performance, simulation, logic CAD
17	John R. Feehrer, Lars H. Ramfelt	Packet Synchronization for Synchronous Optical Deflection-Routed Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	synchronization, interconnection networks, integer programming, packet switching, constrained optimization, optical interconnects, propagation delay, Deflection routing
17	Krzysztof Bilinski, Erik L. Dagless	High Level Synthesis of Synchronous Parallel Controllers.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
17	Mohan V. Nibhanupudi, Boleslaw K. Szymanski	Adaptive Parallelism in the Bulk-Synchronous Parallel Model.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF	Adaptive Parallel Computing, Networks of Workstations, BSP Model
17	Ioannis Parissis, Farid Ouabdesselam	Specification-based Testing of Synchronous Software.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	Lustre
17	Pascal Aubry, Paul Le Guernic, Sylvain Machard	Synchronous Distribution of Signal Programs.	HICSS (1)	1996	DBLP DOI BibTeX RDF
17	Savita Banerjee, Srimat T. Chakradhar, Rabindra K. Roy	Synchronous Test Generation Model for Asynchronous Circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF
17	Filip Van Aelten, Jonathan Allen, Srinivas Devadas	Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
17	Danilo Florissi	The loosely-synchronous transfer mode.	CASCON	1994	DBLP BibTeX RDF
17	Stephen G. Eick, Albert G. Greenberg, Boris D. Lubachevsky, Alan Weiss	Synchronous Relaxation for Parallel Simulations with Applications to Circuit-Switched Networks.	ACM Trans. Model. Comput. Simul.	1993	DBLP DOI BibTeX RDF	parallel, fixed point, relaxation, discrete event
17	Martin Jourdan, Florence Maraninchi, Alfredo Olivero	Verifying Quantitative Real-Time Properties of Synchronous Programs.	CAV	1993	DBLP DOI BibTeX RDF
17	Giovanni De Micheli	Synchronous logic synthesis: algorithms for cycle-time minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	Ajei S. Gopal, Sam Toueg	Reliable Broadcast in Synchronous and Asynchronous Environments (Preliminary Version).	WDAG	1989	DBLP DOI BibTeX RDF
17	John H. Reppy	Synchronous Operations as First-Class Values.	PLDI	1988	DBLP DOI BibTeX RDF	C++, Pegasus
17	Barbara Liskov, Maurice Herlihy, Lucy Gilbert	Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.	POPL	1986	DBLP DOI BibTeX RDF
17	Janice E. Cuny, Lawrence Snyder	Compilation of Data-Driven Programs for Synchronous Execution.	POPL	1983	DBLP DOI BibTeX RDF
16	Geon Heo, Yongsoon Park, Kyungkyu Lee, Ho-Seon Ryu	Current-Referencing Electrified Synchronous Machine to Emulate a Synchronous Machine via a Voltage-Source Inverter.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
16	Andres Ayes, Eby G. Friedman	Linear Clock Tree Topology for Dynamic Source Synchronous and Fully Synchronous 3-D Interfaces.	Integr.	2023	DBLP DOI BibTeX RDF
16	S. K. Binu Siva Singh, K. V. Karthikeyan	High resolution digital pulse width modulator architecture using reversible synchronous sequential counter and synchronous phase-shifted circuit.	Int. J. High Perform. Syst. Archit.	2023	DBLP DOI BibTeX RDF
16	Zhengyou Cai, Jiadan Wei, Le Zhang	Synchronous Demodulation Schemes in Different Coordinate Systems for Sensorless Starting Control of Brushless Synchronous Machines.	IECON	2023	DBLP DOI BibTeX RDF
16	Athina Birda, Christoph Grabher, Christoph M. Hackl, Joerg Reuss	DC-Link Capacitor and Inverter Current Ripples in Anisotropic Synchronous Motor Drives Produced by Synchronous Optimal PWM.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
16	Qiang Lin, Hiroshi Uno, Kenichiro Ogawa, Yasuhiro Kanekiyo, Tetsu Shijo, Junichi Arai, Takeshi Matsuda, Daiki Yamashita, Kenji Otani	Field Demonstration of Parallel Operation of Virtual Synchronous Controlled Grid-Forming Inverters and a Diesel Synchronous Generator in a Microgrid.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Guitong Chen	The covariance matrices of the non-synchronous measurement and its corresponding synchronous measurement.		2022	DOI RDF
16	Athina Birda, Joerg Reuss, Christoph M. Hackl	Synchronous Optimal Pulsewidth Modulation for Synchronous Machines With Highly Operating Point Dependent Magnetic Anisotropy.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
16	Liang Tao, Jianjun Sun, Zhen Tian, Meng Huang 0001, Xiaoming Zha, Jinwu Gong	Speed-Sensorless and Motor Parameters-Free Starting Method for Large-Capacity Synchronous Machines Based on Virtual Synchronous Generator Technology.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
16	Huijie Cheng, Wen Huang, Chao Shen 0006, Yelun Peng, Zhikang Shuai, Zheng John Shen	Transient Voltage Stability of Paralleled Synchronous and Virtual Synchronous Generators With Induction Motor Loads.	IEEE Trans. Smart Grid	2021	DBLP DOI BibTeX RDF
16	Jitendra Kumar, Vegireddy Gowtham, Sashidhar Sampathirao	Comparison of Synchronous Reluctance, PM assisted Synchronous Reluctance and Spoke-Type BLDC Motor for an E-Rickshaw.	ICIT	2021	DBLP DOI BibTeX RDF
16	Mahdi Ashabani, Jaesung Jung	Synchronous Voltage Controllers: Voltage-Based Emulation of Synchronous Machines for the Integration of Renewable Energy Sources.	IEEE Access	2020	DBLP DOI BibTeX RDF
16	Amber Phelps, Dimitrios Vlachopoulos	Successful transition to synchronous learning environments in distance education: A research on entry-level synchronous facilitator competencies.	Educ. Inf. Technol.	2020	DBLP DOI BibTeX RDF
16	Linhao Dong, Cheng Yi, Jianzong Wang, Shiyu Zhou, Shuang Xu, Xueli Jia, Bo Xu 0002	A Comparison of Label-Synchronous and Frame-Synchronous End-to-End Models for Speech Recognition.	CoRR	2020	DBLP BibTeX RDF
16	Mohamed Abuagreb, Babatunde Ajao, Hess Herbert, Brian K. Johnson	Evaluation of Virtual Synchronous Generator Compared to Synchronous Generator.	ISGT	2020	DBLP DOI BibTeX RDF
16	Zhe Chen 0002, Hang Zhang 0024, Wencong Tu, Guangzhao Luo, Darshan Manoharan, Ralph Kennel	Sensorless Control for Permanent Magnet Synchronous Motor in Rail Transit Application Using Segmented Synchronous Modulation.	IEEE Access	2019	DBLP DOI BibTeX RDF
16	Katharina Günther, Constantinos Sourkounis	Investigation of Virtual Synchronous Machine Control for the Grid-Side Converter of Wind Turbines with Permanently Excited Synchronous Generator.	IECON	2019	DBLP DOI BibTeX RDF
16	Eneko Unamuno, Jon Are Suul, Marta Molinas, Jon Andoni Barrena	Comparative Eigenvalue Analysis of Synchronous Machine Emulations and Synchronous Machines.	IECON	2019	DBLP DOI BibTeX RDF
16	Amit Kumar Mondal, Saptarshi Basak, Chandan Chakraborty	Design of a 4/6-pole Synchronous Machine with Embedded Brushless Synchronous Exciter (SEBSE).	ISIE	2019	DBLP DOI BibTeX RDF
16	Denise G. Kutnick, David A. Joyner	Synchronous at Scale: Investigation and Implementation of a Semi-Synchronous Online Lecture Platform.	L@S	2019	DBLP DOI BibTeX RDF
16	Logan Born, Anoop Sarkar	Prefix Lexicalization of Synchronous CFGs using Synchronous TAG.	ACL (1)	2018	DBLP BibTeX RDF
16	Rajaram Tukaram Ugale, Bhalchandra Nemichand Chaudhari	Rotor Configurations for Improved Starting and Synchronous Performance of Line Start Permanent-Magnet Synchronous Motor.	IEEE Trans. Ind. Electron.	2017	DBLP DOI BibTeX RDF
16	Masashi Imai, Thiem Van Chu, Kenji Kise, Tomohiro Yoneda	The synchronous vs. asynchronous NoC routers: an apple-to-apple comparison between synchronous and transition signaling asynchronous designs.	NOCS	2016	DBLP DOI BibTeX RDF
16	Joachim Holtz, Gilberto da Cunha, Norton Petry, Paulo Jose Torri	Control of Large Salient-Pole Synchronous Machines Using Synchronous Optimal Pulsewidth Modulation.	IEEE Trans. Ind. Electron.	2015	DBLP DOI BibTeX RDF
16	Xiangyu Duan, Min Zhang 0005, Qiaoming Zhu	Synchronous Constituent Context Model for Inducing Bilingual Synchronous Structures.	COLING	2014	DBLP BibTeX RDF
16	Sorin Musuroi, Ciprian Sorandaru, Marian Greconici, Nicola-Valeriu Olarescu, Martin Weinman	Low-cost ferrite permanent magnet assisted synchronous reluctance rotor an alternative solution for rare earth permanent magnet synchronous motors.	IECON	2013	DBLP DOI BibTeX RDF
16	Dariusz R. Kowalski, Achour Mostéfaoui	Synchronous byzantine agreement with nearly a cubic number of communication bits: synchronous byzantine agreement with nearly a cubic number of communication bits.	PODC	2013	DBLP DOI BibTeX RDF
16	Léonard Gérard	Programmer le paralle'lisme avec des futures en Heptagon un langage synchrone flot de donne'es et e'tude des re'seaux de Kahn en vue d'une compilation synchrone. (Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation).		2013	RDF
16	Kwen-Siong Chong, Kok-Leong Chang, Bah-Hwee Gwee, Joseph S. Chang	Synchronous-Logic and Globally-Asynchronous-Locally-Synchronous (GALS) Acoustic Digital Signal Processors.	IEEE J. Solid State Circuits	2012	DBLP DOI BibTeX RDF
16	Kuo-Jen Chao, I-Chun Hung, Nian-Shing Chen	On the design of online synchronous assessments in a synchronous cyber classroom.	J. Comput. Assist. Learn.	2012	DBLP DOI BibTeX RDF
16	David Zelig, Ron Cohen, Thomas D. Nadeau	Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation over Packet (CEP) MIB Using SMIv2.	RFC	2011	DBLP DOI BibTeX RDF
16	Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet	A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.	EMSOFT	2011	DBLP DOI BibTeX RDF
16	Hala A. Farouk, Mahmoud T. El-Hadidi	Implementing Globally Asynchronous Locally Synchronous processor pipeline on commercial synchronous FPGAs.	ICT	2010	DBLP DOI BibTeX RDF
16	Bijoy Antony Jose, Bin Xue, Sandeep K. Shukla	An Analysis of the Composition of Synchronous Systems.	FMGALS@DATE	2009	DBLP DOI BibTeX RDF
16	Andrew G. Malis, Jeremy Brayley, John Shirron, Luca Martini, Steve Vogelsang	Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation.	RFC	2008	DBLP DOI BibTeX RDF
16	Andrew G. Malis, Prayson Pate, Ron Cohen, David Zelig	Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation over Packet (CEP).	RFC	2007	DBLP DOI BibTeX RDF
16	Tiemi Christine Sakata	Bridging the gap between synchronous and quase-synchronous.		2007	RDF
16	Yu-Nan Lin, David W. Lin	Multicode chip-interleaved DS-CDMA to effect synchronous correlation of spreading codes in quasi-synchronous transmission over multipath channels.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
16	Eric Mannie, Dimitri Papadimitriou	Generalized Multi-Protocol Label Switching (GMPLS) Extensions for Synchronous Optical Network (SONET) and Synchronous Digital Hierarchy (SDH) Control.	RFC	2006	DBLP DOI BibTeX RDF
16	Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru	The Synchronous Hypothesis and Synchronous Languages.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
16	Greg M. Bernstein, Eric Mannie, Vishal Sharma, Eric Gray	Framework for Generalized Multi-Protocol Label Switching (GMPLS)-based Control of Synchronous Digital Hierarchy/Synchronous Optical Networking (SDH/SONET) Networks.	RFC	2005	DBLP DOI BibTeX RDF
16	Jonathan P. Lang, Dimitri Papadimitriou	Synchronous Optical Network (SONET)/Synchronous Digital Hierarchy (SDH) Encoding for Link Management Protocol (LMP) Test Messages.	RFC	2005	DBLP DOI BibTeX RDF
16	Chien-Hwa Hwang	Equivalence of large chip-synchronous and symbol-synchronous CDMA systems.	ISIT	2005	DBLP DOI BibTeX RDF
16	Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta 0001, Jean-Pierre Talpin	A Verification Approach for GALS Integration of Synchronous Components.	FMGALS@MEMOCODE	2005	DBLP DOI BibTeX RDF
16	Eric Mannie, Dimitri Papadimitriou	Generalized Multi-Protocol Label Switching (GMPLS) Extensions for Synchronous Optical Network (SONET) and Synchronous Digital Hierarchy (SDH) Control.	RFC	2004	DBLP DOI BibTeX RDF
16	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	A Verified Compiler for Synchronous Programs with Local Declarations.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
16	Grégoire Hamon	Synchronous Dataflow Pattern Matching.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
16	Reinhard Budde, Axel Poigné, Karl-Heinz Sylla	synERJY An Object-oriented Synchronous Language.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
16	Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner	04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.	SYNCHRON	2004	DBLP BibTeX RDF
16	Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner	04491 Executive Summary - Synchronous Programming - SYNCHRON'04.	SYNCHRON	2004	DBLP BibTeX RDF
16	Stanley Schuster, Peter W. Cook	Low-power synchronous-to-asynchronous- to-synchronous interlocked pipelined CMOS circuits operating at 3.3-4.5 GHz.	IEEE J. Solid State Circuits	2003	DBLP DOI BibTeX RDF
16	Kaj Tesink	Definitions of Managed Objects for the Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Interface Type.	RFC	2003	DBLP DOI BibTeX RDF
16	Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard	Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.	SLAP	2003	DBLP DOI BibTeX RDF
16	Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon	Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.	SLAP	2003	DBLP DOI BibTeX RDF
16	Koen Claessen	Safety Property Verification of Cyclic Synchronous Circuits.	SLAP	2003	DBLP DOI BibTeX RDF
16	Nevin Jones, Chris Murton	Extending Point-to-Point Protocol (PPP) over Synchronous Optical NETwork/Synchronous Digital Hierarchy (SONET/SDH) with virtual concatenation, high order and low order payloads.	RFC	2002	DBLP DOI BibTeX RDF
16	Osamu Okamoto, Mitsuru Maruyama, Takahiro Sajima	Forwarding Media Access Control (MAC) Frames over Multiple Access Protocol over Synchronous Optical Network/Synchronous Digital Hierarchy (MAPOS).	RFC	2002	DBLP DOI BibTeX RDF
16	Pascal Molli, Hala Skaf-Molli, Gérald Oster, Sébastien Jourdain	SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments.	CSCWD	2002	DBLP DOI BibTeX RDF