Search results for "synchronous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Óscar R. Ribeiro, João M. Fernandes	Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.	SIES	2007	DBLP DOI BibTeX RDF
17	Miriam Weinel, Chun Hu	Social presence and student perceptions in the blend of synchronous and asynchronous communication forms.	ICALT	2007	DBLP DOI BibTeX RDF
17	Frédéric Gava	Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	BSP Functional Programming, divide-and-conquer
17	Jhao-Ji Ye, You-Gang Chen, I-Chyn Wey, An-Yeu Wu	Low-Latency Quasi-Synchronous Transmission Technique for Multiple-Clock-Domain IP Modules.	ISCAS	2007	DBLP DOI BibTeX RDF
17	Tsung-Chu Huang, Gau-Bin Chang, Ling Li	Congruence Synchronous Mirror Delay.	ISCAS	2007	DBLP DOI BibTeX RDF
17	Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko 0001, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	A new algorithm for the largest compositionally progressive solution of synchronous language equations.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	progressive solutions, unknown component problem, finite automata, sequential synthesis
17	Hongtao Xia, Weiping Sun, Jingli Zhou, Yunhua Huang, Jifeng Yu	KSEQ: A New Scalable Synchronous I/O Multiplexing Mechanism for Event-Driven Applications.	ISPA	2007	DBLP DOI BibTeX RDF
17	Rong Zhang, Yong Meng Teo, Qijuan Chen, Xianbing Wang	Lower Bounds for Achieving Synchronous Consensus with Orderly Crash Failure.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
17	M. Antonia Martínez-Carreras, Alejandro Piqueras, Miguel A. Hernández, Antonio Fernandez Gómez-Skarmeta	Designing an interoperable infrastructure for synchronous collaboration.	CollaborateCom	2007	DBLP DOI BibTeX RDF
17	Nikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou	A Fully-Automated Desynchronization Flow for Synchronous Circuits.	DAC	2007	DBLP DOI BibTeX RDF
17	Sandeep K. Shukla, Michael Theobald	Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF
17	Yuri I. Abramovich, Alexandr M. Kuzminskiy	On correspondence between training-based and semiblind second-order adaptive techniques for mitigation of synchronous CCI.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
17	Ran D. Zilca, Brian Kingsbury, Jirí Navrátil 0001, Ganesh N. Ramaswamy	Pseudo pitch synchronous analysis of speech with applications to speaker recognition.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
17	Abbas Sheibanyrad, Alain Greiner	Two Efficient Synchronous Û Asynchronous Converters Well-Suited for Network on Chip in GALS Architectures.	PATMOS	2006	DBLP DOI BibTeX RDF
17	Jianying Zhou 0001, Jose Antonio Onieva, Javier López 0001	A Synchronous Multi-Party Contract Signing Protocol Improving Lower Bound of Steps.	SEC	2006	DBLP DOI BibTeX RDF
17	Zhiyi Yu, Bevan M. Baas	Performance and Power Analysis of Globally Asynchronous Locally Synchronous Multi-Processor Systems.	ISVLSI	2006	DBLP DOI BibTeX RDF
17	José Manuel Colmenar, Oscar Garnica, Juan Lanchares, José Ignacio Hidalgo, Guadalupe Miñana, Sonia López	Comparing the Performance of a 64-bit Fully-Asynchronous Superscalar Processor versus its Synchronous Counterpart.	DSD	2006	DBLP DOI BibTeX RDF
17	Zhonghai Lu, Ingo Sander, Axel Jantsch	Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.	DSD	2006	DBLP DOI BibTeX RDF
17	Bernd Laquai, Martin Hua, Guido Schulze, Michael Braun	A Flexible and Scaleable Methodology for Testing High Speed Source Synchronous Interfaces on ATE with Multiple Fixed Phase Capture and Compare.	ETS	2006	DBLP DOI BibTeX RDF
17	Hyunok Oh, Nikil D. Dutt, Soonhoi Ha	Memory optimal single appearance schedule with dynamic loop count for synchronous dataflow graphs.	ASP-DAC	2006	DBLP DOI BibTeX RDF
17	J. Mark Pullen	Integrating Synchronous and Asynchronous Internet Distributed Education for Maximum Effectiveness.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
17	Shamik Sengupta, Mainak Chatterjee	Synchronous and Asynchronous Auction Models for Dynamic Spectrum Access.	ICDCN	2006	DBLP DOI BibTeX RDF
17	Besnik Seljimi, Ioannis Parissis	Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Xihuai Wang, Tengfei Zhang, Jianmei Xiao	Ship Synchronous Generator Modeling Based on RST and RBF Neural Networks.	ISNN (2)	2006	DBLP DOI BibTeX RDF
17	Justin D. Weisz, Thomas Erickson, Wendy A. Kellogg	Synchronous broadcast messaging: the use of ICT.	CHI	2006	DBLP DOI BibTeX RDF	broadcast messaging, CSCW, CMC, social computing, instant messaging, chat, IM
17	Walter Dosch	Formal Design of a Slow-Down Component for Almost Synchronous Streams.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
17	Gordon R. Chiu, Deshanand P. Singh, Valavan Manohararajah, Stephen Dean Brown	Mapping arbitrary logic functions into synchronous embedded memories for area reduction on FPGAs.	ICCAD	2006	DBLP DOI BibTeX RDF
17	Julien Bertrane	Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems.	SAS	2006	DBLP DOI BibTeX RDF
17	Xuepeng Liu, Bin Wang	ANN Observer of Permanent Magnet Synchronous Motor Based on SVPWM.	ISDA (1)	2006	DBLP DOI BibTeX RDF	SVPWM, PMSM, Sensorless control, ANN, Observer
17	Vince Bárány	Invariants of Automatic Presentations and Semi-synchronous Transductions.	STACS	2006	DBLP DOI BibTeX RDF
17	D. Y. Wang, Zivan Zabar, Dariusz Czarkowski	Load flow based distribution system short-circuit algorithm incorporating distributed synchronous generators.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Sajid Baloch, Tughrul Arslan, Adrian Stoica	An Efficient Technique for Preventing Single Event Disruptions in Synchronous and Reconfigurable Architectures.	AHS	2006	DBLP DOI BibTeX RDF
17	John M. Linebarger, Andrew J. Scholand, Mark A. Ehlen	Representations and Metaphors for the Structure of Synchronous Multimedia Collaboration within Task-Oriented, Time-Constrained Distributed Teams.	HICSS	2006	DBLP DOI BibTeX RDF
17	Prabhakar Neti, Subhasis Nandi	Analysis and Modeling of a Synchronous Machine with Structural Asymmetries.	CCECE	2006	DBLP DOI BibTeX RDF
17	Shahram Najafi, Narayan C. Kar	Impact of Saturation on Transient Behavior of Interior Permanent Magnet Synchronous Motors.	CCECE	2006	DBLP DOI BibTeX RDF
17	M. Abdesh S. K. Khan, Okan Ozgonenel, M. Azizur Rahman	Real Time Implementation of a Wavelet Power Based Algorithm for Three-Phase Synchronous Generator Protection.	CCECE	2006	DBLP DOI BibTeX RDF
17	Isidro Calvo, Luís Almeida 0001	Adding Synchronous Scheduling to CORBA-RT.	ETFA	2006	DBLP DOI BibTeX RDF
17	Daniela E. Damian, Filippo Lanubile, Teresa Mallardo	An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings.	FASE	2006	DBLP DOI BibTeX RDF
17	Tiemi C. Sakata, Islene C. Garcia	Non-Blocking Synchronous Checkpointing Based on Rollback-Dependency Trackability.	SRDS	2006	DBLP DOI BibTeX RDF
17	Hiroshi Takahashi, Keith J. Keller, Kim T. Le, Kewal K. Saluja, Yuzo Takamatsu	A method for reducing the target fault list of crosstalk faults in synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
17	Shu-Ming Tseng, Chuang-Chun Chiou, Y.-R. Chuang, S.-T. Sheu	Synchronous Wavelength Reusing/Sharing Protocols for Nonregenerative WDM Dual Buses.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
17	Zuqiang Tang, William E. Ryan	Achievable information rates and the coding-spreading tradeoff in finite-sized synchronous CDMA systems.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
17	Jifeng He 0001, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi 0001	Exploring optimal solution to hardware/software partitioning for synchronous model.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Timed automata, Scheduling algorithm, Reachability, Hardware/software partitioning
17	Jia Zeng, Stephen A. Edwards	Separate Compilation for Synchronous Modules.	ICESS	2005	DBLP DOI BibTeX RDF
17	Miklós Bartha	Strong Retiming Equivalence of Synchronous Schemes.	CIAA	2005	DBLP DOI BibTeX RDF
17	Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay	Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach.	ISSRE	2005	DBLP DOI BibTeX RDF
17	Phebe Mann, Steve Garner	The Role of Sketches in Supporting Near-Synchronous Remote Communication in Computer Supported Collaborative Design.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
17	Marjan Sirjani, Frank S. de Boer, Ali Movaghar 0001, Amin Shali	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.	ACSD	2005	DBLP DOI BibTeX RDF
17	Dumitru Potop-Butucaru, Benoît Caillaud	Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.	ACSD	2005	DBLP DOI BibTeX RDF
17	Mustafa Soy, Freimut Bodendorf	IP, ISDN, and ATM Infrastructures for Synchronous Teleteaching - An Application Oriented Technology Assessment.	ICN (1)	2005	DBLP DOI BibTeX RDF
17	Frédéric Loulergue	Optimizing Bulk Synchronous Parallel ML.	SNPD	2005	DBLP DOI BibTeX RDF
17	Florian Dittmann 0001, Achim Rettberg, Raphael Weber	Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.	EUC	2005	DBLP DOI BibTeX RDF
17	Zhigang Hua, Xing Xie 0001, Hanqing Lu, Wei-Ying Ma	ASAP: A Synchronous Approach for Photo Sharing across Multiple Devices.	MMM	2005	DBLP DOI BibTeX RDF
17	Nicola Santoro, Peter Widmayer	Majority and Unanimity in Synchronous Networks with Ubiquitous Dynamic Faults.	SIROCCO	2005	DBLP DOI BibTeX RDF
17	Michel Raynal, Matthieu Roy	A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.	PRDC	2005	DBLP DOI BibTeX RDF
17	D. Manivannan 0001, Qiangfeng Jiang, Jianchang Yang, Karl E. Persson, Mukesh Singhal	An Asynchronous Recovery Algorithm Based on a Staggered Quasi-Synchronous Checkpointing Algorithm.	IWDC	2005	DBLP DOI BibTeX RDF
17	Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman	The complexity of synchronous iterative Do-All with crashes.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed algorithms, Lower bounds, Work complexity
17	Aiman H. El-Maleh, Khaled Al-Utaibi	An efficient test relaxation technique for synchronous sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
17	Jiwu Shu, Rui Yan, Dongchan Wen, Weimin Zheng	An Implementation of Storage-Based Synchronous Remote Mirroring for SANs.	NPC	2004	DBLP DOI BibTeX RDF
17	Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan	A Markov Reward Model for Reliable Synchronous Dataflow System Design.	DSN	2004	DBLP DOI BibTeX RDF
17	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou	From Synchronous to Asynchronous: An Automatic Approach.	DATE	2004	DBLP DOI BibTeX RDF
17	Wang Jun, Peng Hong	A robust position controller design for PM synchronous motor using neural network.	ICARCV	2004	DBLP DOI BibTeX RDF
17	Keqin Li 0001	Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
17	Weiwei Liu, Laishui Zhou, Haijun Zhuang	C-Superman: A Web-Based Synchronous Collaborative CAD/CAM System.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
17	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste	Concurrency in Synchronous Systems.	ACSD	2004	DBLP DOI BibTeX RDF
17	Pilar Manzanares-Lopez, Juan Carlos Sánchez-Aarnoutse, J. J. Sanchez-Manzanares, Josemaria Malgosa-Sanahuja, Joan García-Haro	Multicast synchronous transfer protocol: a complete study of packet delay and packet loss behavior.	ISCC	2004	DBLP DOI BibTeX RDF
17	A. J. Bernheim Brush, Morgan Ames, Janet Davis	A comparison of synchronous remote and local usability studies for an expert interface.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	user studies, usability testing and evaluation, usability research, remote evaluation
17	Geguang Pu, Dang Van Hung, Jifeng He 0001, Wang Yi 0001	An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.	IFM	2004	DBLP DOI BibTeX RDF	timed automata, scheduling algorithm, reachability, Hardware/software partitioning
17	Frédéric Gava	Parallel I/O in Bulk-Synchronous Parallel ML.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Roger Dingledine, Vitaly Shmatikov, Paul F. Syverson	Synchronous Batching: From Cascades to Free Routes.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
17	Peter D. Hyde, G. Russell	A Comparative Study of the Design of Synchronous and Asynchronous Self-Checking RISC Processors.	IOLTS	2004	DBLP DOI BibTeX RDF
17	Roberto M. Amadio, Silvano Dal-Zilio	Resource Control for Synchronous Cooperative Threads.	CONCUR	2004	DBLP DOI BibTeX RDF
17	A. T. Sivaram, Masashi Shimanouchi, Howard Maassen, Robert Jackson	Tester Architecture For The Source Synchronous Bus.	ITC	2004	DBLP DOI BibTeX RDF
17	Artur Merke, Ralf Schoknecht	Convergence of synchronous reinforcement learning with linear function approximation.	ICML	2004	DBLP DOI BibTeX RDF
17	Hidehiro Nakano, Toshimichi Saito	Analysis of Synchronous Time in Chaotic Pulse-Coupled Networks.	ICONIP	2004	DBLP DOI BibTeX RDF
17	Santi Chillemi, Angelo Di Garbo, Alessandro Panarese	Synchronous Firing in a Population of Inhibitory Interneurons Coupled by Electrical and Chemical Synapses.	IWANN (1)	2003	DBLP DOI BibTeX RDF
17	Ashraf Salem	Formal Semantics of Synchronous SystemC.	DATE	2003	DBLP DOI BibTeX RDF
17	Thomas Villiger, Hubert Kaeslin, Frank K. Gürkaynak, Stephan Oetiker, Wolfgang Fichtner	Self-Timed Ring for Globally-Asynchronous Locally-Synchronous Systems.	ASYNC	2003	DBLP DOI BibTeX RDF
17	Xinyu Zhang 0001, Nianlong Luo, Dongxing Jiang	Synchronous Graphic-Interaction in CSCL.	ICWL	2003	DBLP DOI BibTeX RDF
17	Andrew Royal, Peter Y. K. Cheung	Globally Asynchronous Locally Synchronous FPGA Architectures.	FPL	2003	DBLP DOI BibTeX RDF
17	Gérard Berry, Michael Kishinevsky, Satnam Singh	System Level Design and Verification Using a Synchronous Language.	ICCAD	2003	DBLP DOI BibTeX RDF
17	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
17	Venkata Syam P. Rapaka, Diana Marculescu	A mixed-clock issue queue design for globally asynchronous, locally synchronous processor cores.	ISLPED	2003	DBLP DOI BibTeX RDF	issue window design, mixed-clock circuits, GALS
17	Bruno Dillenseger, Laurent Hazard	A Dynamic Distribution and Load Balancing Experiment with Synchronous Programming-Based Mobile Objects.	OTM	2003	DBLP DOI BibTeX RDF
17	Abdoulaye Gamatié, Thierry Gautier	Synchronous Modeling of Avionics Applications using the SIGNAL Languag.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
17	Michiru Tanaka, Yoshimi Teshigawara	Design of a Development Environment for Web-based Asynchronous and Synchronous Integrated Groupware Systems.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
17	Aiman H. El-Maleh, Khaled Al-Utaibi	An Efficient Test Relaxation Technique for Synchronous Sequential Circuits.	VTS	2003	DBLP DOI BibTeX RDF
17	Jonathan S. Shapiro	Vulnerabilities in Synchronous IPC Designs.	S&P	2003	DBLP DOI BibTeX RDF	capability systems, operating systems, vulnerability, interprocess communication
17	Chuang-Chun Chiou, Shu-Ming Tseng	Synchronous Wavelength Reusing/Sharing Protocols for Non-Regenerative Dual Bus Optical Networks.	AINA	2003	DBLP DOI BibTeX RDF
17	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	Synchronous and Bidirectional Component Interfaces.	CAV	2002	DBLP DOI BibTeX RDF
17	Frank te Beest, Kees van Berkel 0001, Ad M. G. Peeters	Adding Synchronous and LSSD Modes to Asynchronous Circuits.	ASYNC	2002	DBLP DOI BibTeX RDF	design for testability, asynchronous circuits, scan test, LSSD
17	Amy Streich, Alex Kondratyev, Lief Sorensen	Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach.	ASYNC	2002	DBLP DOI BibTeX RDF	ATPG, asynchronous circuits, stuck-at faults, partial scan
17	José A. Tierno, Sergey V. Rylov, Alexander V. Rylyakov, Montek Singh, Steven M. Nowick	An Adaptively-Pipelined Mixed Synchronous-Asynchronous Digital FIR Filter Chip Operating at 1.3 GigaHertz.	ASYNC	2002	DBLP DOI BibTeX RDF	PRML read channel, magnetic recording, asynchronous pipeline, digital arithmetic, FIR filter, dynamic logic, high-throughput, low-latency, distributed arithmetic, mixed timing
17	Thomas Villiger, Stephan Oetiker, Frank K. Gürkaynak, Norbert Felber, Hubert Kaeslin, Wolfgang Fichtner	A Functional Test Methodology for Globally-Asynchronous Locally-Synchronous Systems.	ASYNC	2002	DBLP DOI BibTeX RDF
17	Gang George Yin, Cheng-Zhong Xu 0001, Le Yi Wang	Optimal Remapping in Dynamic Bulk Synchronous Computations via a Stochastic Control Approach.	IPDPS	2002	DBLP DOI BibTeX RDF
17	Jill L. Drury, Marian G. Williams	Framework for Role-Based Specification and Evaluation of Awareness Support in Synchronous Collaborative Applications .	WETICE	2002	DBLP DOI BibTeX RDF	Evaluation, CSCW, heuristic evaluation, collaborative applications, inspection methods
17	Maria Marinaro, Silvia Scarpetta	Noise Induces Spontaneous Synchronous Aperiodic Activity in EI Neural Networks.	ICANN	2002	DBLP DOI BibTeX RDF
17	Mauro Olivieri	Design of synchronous and asynchronous variable-latency pipelined multipliers.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
17	James Begole, Randall B. Smith, Craig A. Struble, Clifford A. Shaffer	Resource sharing for replicated synchronous groupware.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	distributed computing, object-oriented programming, concurrency control, software, Collaborative work, file servers
17	Pascal Cuoq, Marc Pouzet	Modular Causality in a Synchronous Stream Language.	ESOP	2001	DBLP DOI BibTeX RDF