Search results for "synchronizations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee	Latency-constrained Resynchronization for Multiprocessor DSP Implementation.	ASAP	1996	DBLP DOI BibTeX RDF	static multi-processor schedules, iterative dataflow programs, self-timed execution, latency, synchronization overhead
75	Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons	Room synchronizations.	SPAA	2001	DBLP DOI BibTeX RDF
64	Ding-Kai Chen, Pen-Chung Yew	Redundant Synchronization Elimination for DOACROSS Loops.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	DOACROSS, redundant synchronization elimination, Compiler optimization, data dependence, data synchronization
64	Pramod V. Koppol, Kuo-Chung Tai	An Incremental Approach to Structural Testing of Concurrent Software.	ISSTA	1996	DBLP DOI BibTeX RDF
62	Ivan Lanese, Hernán C. Melgratti	Synchronous Multiparty Synchronizations and Transactions.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
62	Farn Wang	Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.	ICFEM	2005	DBLP DOI BibTeX RDF	model-checking, verification, real-time, synchronization, distributed
53	Cosimo Laneve, Antonio Vitale	The Expressive Power of Synchronizations.	LICS	2010	DBLP DOI BibTeX RDF	dining philosophers problem, synchronizations, hypercube, Expressive power, process calculi
42	Hiroaki Takada, Ken Sakamura	Real-time scalability of nested spin locks.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time scalability, nested spin locks, interprocessor synchronizations, maximum execution times, maximum nesting level, performance evaluation, real-time systems, real-time system, performance measurements, synchronisation, shared-memory multiprocessor, shared memory systems, worst-case performance
42	Vishwani D. Agrawal, Srimat T. Chakradhar	Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	synchronized iterative algorithms, performanceevaluation technique, fixed probability, periodic instances, computational activity, binomial random variable, multiprocessorsystem, maximum order-statistic, theoretical performance, logicsimulation, production VLSI chips, performance evaluation, parallel algorithms, parallel processing, synchronizations, iterative methods, statistics, statistical model, atoms, random variables, computational effort, parallelmachines
38	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
38	Sylvain Huet, Emmanuel Casseau, Olivier Pasquier	A Computation Core for Communication Refinement of Digital Signal Processing Algorithms.	DSD	2006	DBLP DOI BibTeX RDF
38	Naoki Yonezawa, Koichi Wada 0002, Takahiro Aida	Barrier Elimination Based on Access Dependency Analysis for OpenMP.	ISPA	2006	DBLP DOI BibTeX RDF
38	Jacques M. Bahi, Raphaël Couturier	Parallelization of Direct Algorithms using Multisplitting Methods in Grid Environments.	IPDPS	2005	DBLP DOI BibTeX RDF
38	Jeff Bogda, Urs Hölzle	Removing Unnecessary Synchronization in Java.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
38	Mihnea Marinescu, Benjamin Goldberg	Partial-Evaluation Techniques for Concurrent Programs.	PEPM	1997	DBLP DOI BibTeX RDF	concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
38	Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee	Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.	IPPS	1996	DBLP DOI BibTeX RDF	inter-processor communication overhead, scheduling, embedded systems, synchronization, multiprocessors, static schedules
37	Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons	Scalable Room Synchronizations.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
29	Maurice H. ter Beek, Jetty Kleijn	Team Automata Satisfying Compositionality.	FME	2003	DBLP DOI BibTeX RDF	team automata, synchronizations, computations, compositionality, behaviour, shuffles
26	Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam	Dynamic recognition of synchronization operations for improved data race detection.	ISSTA	2008	DBLP DOI BibTeX RDF	synchronization and infeasible races, data races, record and replay
26	Ahmad Faraj, Xin Yuan 0001, Pitch Patarasuk	A Message Scheduling Scheme for All-to-All Personalized Communication on Ethernet Switched Clusters.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	scheduling, Ethernet, All-to-all personalized communications
26	Li Xiao 0001, Xiaodong Zhang 0001, Zhengqian Kuang, Baiming Feng, Jichang Kang	Auto-CFD-NOW: A pre-compiler for effectively parallelizing CFD applications on networks of workstations.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Pre-compiler, Message-passing, Computational fluid dynamics (CFD), Networks of workstations, Automatic parallelization
26	Cosimo Laneve, Luca Padovani	Smooth Orchestrators.	FoSSaCS	2006	DBLP DOI BibTeX RDF
26	Mahmut T. Kandemir, Seung Woo Son 0001	Reducing power through compiler-directed barrier synchronization elimination.	ISLPED	2006	DBLP DOI BibTeX RDF	barrier elimination, low power, compiler
26	Akiyoshi Wakatani	Evaluation of parallel VQ compression algorithms on an SMP system.	CCECE	2006	DBLP DOI BibTeX RDF
26	Jana van Greunen, Jan M. Rabaey	Lightweight time synchronization for sensor networks.	Wireless Sensor Networks and Applications	2003	DBLP DOI BibTeX RDF	synchronization, spanning tree, multi-hop, lightweight
26	Jetty Kleijn	Team Automata for CSCW - A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
26	Li Xiao 0001, Xiaodong Zhang 0001, Zhengqian Kuang, Baiming Feng, Jichang Kang	Auto-CFD: Efficiently Parallelizing CFD Applications on Clusters.	CLUSTER	2003	DBLP DOI BibTeX RDF
26	Ihn-Han Bae, Sun-Jin Oh, Mukesh Singhal	Design and Evaluation of a Distributed Multimedia Synchronization Algorithm using Media Scalings and Variable Service Rates.	ICPADS	1997	DBLP DOI BibTeX RDF	media scaling, relative stamp, multimedia networks, multimedia synchronization, distributed multimedia systems
26	Laurent Hascoët	Automatic Placement of Communications in Mesh-Partitioning Parallelization.	PPoPP	1997	DBLP DOI BibTeX RDF
26	Yann Le Guyadec, Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot	A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
26	Raju Pandey, James C. Browne	Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
26	Rajiv Gupta 0001	Employing Register Channels for the Exploitation of Instruction Level Parallelism.	PPoPP	1990	DBLP DOI BibTeX RDF
24	Yong Lei, Xin-Jian Xu, Xiaofan Wang 0001	Optimal and Poor Synchronizations of Directionally Coupled Phase-Coherent Chaotic Oscillators.	Int. J. Bifurc. Chaos	2024	DBLP DOI BibTeX RDF
24	Xinyu Mao, Xiaomei Wang, Yuxi Lu, Hongying Qin	Synchronizations control of fractional-order multidimension-valued memristive neural networks with delays.	Neurocomputing	2024	DBLP DOI BibTeX RDF
24	Yukinojo Kotani, Yoko Uwate, Yoshifumi Nishio	Synchronizations in Three Coupled Oscillators with Memristor Synapses as Ring Structure.	ISOCC	2023	DBLP DOI BibTeX RDF
24	Bilal Orkan Olcay, Bilge Karaçali	A Novel Motor Imagery Recognition Approach Based On Perception Latency and Short-Lived Synchronizations.	SIU	2023	DBLP DOI BibTeX RDF
24	Gábor Bergmann	Controllable and decomposable multidirectional synchronizations.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
24	Pengfei Tian, José Manuel Guerrero, Kumar Mahtani, Carlos A. Platero	Instantaneous Specific Protection Method Against Faulty Synchronizations of Synchronous Machines.	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Ziyao Zhang, Liang Ma 0002, Kin K. Leung, Franck Le	More Is Not Always Better: An Analytical Study of Controller Synchronizations in Distributed SDN.	IEEE/ACM Trans. Netw.	2021	DBLP DOI BibTeX RDF
24	Hyun Jae Park, Cheol-woong Lee, Taeyoung Shin, Byeong-Hee Roh, Soo Bum Park, Jungwook Choi	Implementation of Embedded Testbeds Using USRP and GNU-Radio for Performance Measurement and Analysis of PPS and PCO-Based Time Synchronizations.	Int. J. Interdiscip. Telecommun. Netw.	2021	DBLP DOI BibTeX RDF
24	Terry N. Guo, Allen B. MacKenzie, Husheng Li	Interferometry Based Integrated Sensing and Communications with Imperfect Synchronizations.	GLOBECOM	2021	DBLP DOI BibTeX RDF
24	Senlin Yan	An All Optics LAN with Double-Center and Its Synchronizations in Multi-Dynamics States.	ICAIIS	2021	DBLP DOI BibTeX RDF
24	Emad E. Mahmoud, Alá Abdulmajid Eshmawi	Secure communication and synchronizations in light of the stability theory of the hyperchaotic complex nonlinear systems.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
24	Emad E. Mahmoud, Mahmoud Shibl Higazy, Ohood A. Althagafi	A Novel Strategy for Complete and Phase Robust Synchronizations of Chaotic Nonlinear Systems.	Symmetry	2020	DBLP DOI BibTeX RDF
24	Konstantinos Gkiotsalitis, Oskar A. L. Eikenbroek, Oded Cats	Robust Network-Wide Bus Scheduling With Transfer Synchronizations.	IEEE Trans. Intell. Transp. Syst.	2020	DBLP DOI BibTeX RDF
24	Abdia Hamdani, Abdelkrim Abdelli	Towards modelling and analyzing timed workflow systems with complex synchronizations.	J. King Saud Univ. Comput. Inf. Sci.	2020	DBLP DOI BibTeX RDF
24	Jiaxun Liu, Zuoxun Wang, Fangfang Zhang 0002, Yankai Yin, Feng-Ying Ma 0001	Special Characteristics and Synchronizations of Multi Hybrid-Order Chaotic Systems.	Entropy	2020	DBLP DOI BibTeX RDF
24	Abderrazak Abdaoui, Hasan Tariq, Farid Touati, Tarek Elfouly, Mohammed A. Al-Hitmi, Mohamed H. Ahmed	Optimal Consensus Time Synchronizations for Wireless Sensor Networks.	IWCMC	2020	DBLP DOI BibTeX RDF
24	Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang 0001	Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.	SETTA	2020	DBLP DOI BibTeX RDF
24	Sergio Nesmachnow, Andrei Tchernykh	Affinity multiprocessor scheduling considering communications and synchronizations using a Multiobjective Iterated Local Search algorithm.	AICTS	2020	DBLP BibTeX RDF
24	Bernd Heinrich, Felix Krause 0001, Alexander Schiller	Automated planning of process models: The construction of parallel splits and synchronizations.	Decis. Support Syst.	2019	DBLP DOI BibTeX RDF
24	Li Li 0008, Zhiguo Zhao, Huaguang Gu	Bifurcations of Time-Delay-Induced Multiple Transitions Between In-Phase and Anti-Phase Synchronizations in Neurons with Excitatory or Inhibitory Synapses.	Int. J. Bifurc. Chaos	2019	DBLP DOI BibTeX RDF
24	Feng Yao, Yiping Yao, Lining Xing 0001, Huangke Chen, Zhongwei Lin, Tianlin Li	An intelligent scheduling algorithm for complex manufacturing system simulation with frequent synchronizations in a cloud environment.	Memetic Comput.	2019	DBLP DOI BibTeX RDF
24	Guosheng Kang, Liqin Yang, Liang Zhang 0019	Verification of behavioral soundness for artifact-centric business process model with synchronizations.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
24	Jafar Hamin, Bart Jacobs 0002	Transferring Obligations Through Synchronizations.	ECOOP	2019	DBLP DOI BibTeX RDF
24	Lukasz Szustak	Strategy for data-flow synchronizations in stencil parallel computations on multi-/manycore systems.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
24	Sarah Winter	Uniformization Problems for Synchronizations of Automatic Relations on Words.	CoRR	2018	DBLP BibTeX RDF
24	Andrey Velichko, Vadim Putrolaynen, Maksim Belyaev	Effects of Higher Order and Long-Range Synchronizations for Classification and Computing in Oscillator-Based Spiking Neural Networks.	CoRR	2018	DBLP BibTeX RDF
24	Sarah Winter	Uniformization Problems for Synchronizations of Automatic Relations on Words.	ICALP	2018	DBLP DOI BibTeX RDF
24	Ziyue Ma, Zhiwu Li 0001, Alessandro Giua	Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
24	Farnaz Adib Yaghmaie, Rong Su 0001, Frank L. Lewis, Sorin Olaru	Bipartite and cooperative output synchronizations of linear heterogeneous agents: A unified framework.	Autom.	2017	DBLP DOI BibTeX RDF
24	Alessandro Giua, Cristian Mahulea, Carla Seatzu	Decentralized observability of discrete event systems with synchronizations.	Autom.	2017	DBLP DOI BibTeX RDF
24	Julien Hascoët, Benoît Dupont de Dinechin, Pierre Guironnet de Massas, Minh Quan Ho	Asynchronous one-sided communications and synchronizations for a clustered manycore processor.	ESTIMedia	2017	DBLP DOI BibTeX RDF
24	Giuliano Casale, Mattia Cazzoli, Shuai Jiang, Vitor S. Lopes, Giuseppe Serazzi, Lulai Zhu	Generalized Synchronizations and Capacity Constraints for Java Modelling Tools.	ICPE	2017	DBLP DOI BibTeX RDF
24	Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski	The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes.	ANALCO	2017	DBLP DOI BibTeX RDF
24	Nan Du, Hesuan Hu	Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets.	ECC	2016	DBLP DOI BibTeX RDF
24	Ang Li 0006, Gert-Jan van den Braak, Henk Corporaal, Akash Kumar 0001	Fine-Grained Synchronizations and Dataflow Programming on GPUs.	ICS	2015	DBLP DOI BibTeX RDF
24	Michael Butler, Kittisak Sajjapongse, Michela Becchi	Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations.	ICPADS	2015	DBLP DOI BibTeX RDF
24	Stefano Drimon Kurz Mor	Analysis of Synchronizations In Greedy-Scheduled Executions - Application to Efficient Generation of Pseudorandom Numbers in Parallel. (Analyse des synchronisations dans un programme parallèle ordonnancé par vol de travail. Applications à la génération déterministe de nombres pseudo-aléatoires).		2015	RDF
24	Xavier David-Henriet	Discrete Event Systems with Standard and Partial Synchronizations. (Ereignisdiskrete Systeme mit Standardsynchronisation und partieller Synchronisation / Systèmes d'événement discrets avec synchronisations standard et partielles).		2015	RDF
24	Sheng-Xin Zhu, Tongxiang Gu, Xing-Ping Liu	Minimizing synchronizations in sparse iterative solvers for distributed supercomputers.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
24	Peter G. Harrison, Andrea Marin	Product-Forms in Multi-Way Synchronizations.	Comput. J.	2014	DBLP DOI BibTeX RDF
24	Adam Hammouda, Andrew R. Siegel, Stephen F. Siegel	Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations.	EASC	2014	DBLP DOI BibTeX RDF
24	Xiaojun Liu, Ling Hong	Chaos and Adaptive Synchronizations in fractional-Order Systems.	Int. J. Bifurc. Chaos	2013	DBLP DOI BibTeX RDF
24	Le Yin	Effectively Recognize Ad hoc Synchronizations with Static Analysis.	LCPC	2013	DBLP DOI BibTeX RDF
24	Hui Yan, Pieter Van Gorp, Uzay Kaymak, Xudong Lu, Richard Vdovjak, Hendrikus H. M. Korsten, Huilong Duan	Analyzing conformance to clinical protocols involving advanced synchronizations.	BIBM	2013	DBLP DOI BibTeX RDF
24	Mario Boley, Michael Kamp, Daniel Keren, Assaf Schuster, Izchak Sharfman	Communication-Efficient Distributed Online Prediction using Dynamic Model Synchronizations.	BD3@VLDB	2013	DBLP BibTeX RDF
24	Weiwei Xiong	Taming implicit synchronizations in concurrent programs		2013	RDF
24	Maxime Rio	Modèles bayésiens pour la détection de synchronisations au sein de signaux électro-corticaux. (Bayesian models for synchronizations detection in electrocortical signals).		2013	RDF
24	Suresh Ramachandran, D. V. Senthilkumar, M. Lakshmanan 0001, Jürgen Kurths	Global and Partial Phase Synchronizations in Arrays of Piecewise Linear Time-Delay Systems.	Int. J. Bifurc. Chaos	2012	DBLP DOI BibTeX RDF
24	Thu-Ha Dao-Thi, Jean-Michel Fourneau	Markovian queueing network with complex synchronizations: Product form and tensor.	Perform. Evaluation	2012	DBLP DOI BibTeX RDF
24	Christoforos Ntantogian, Christos Xenakis, Ioannis Stavrakakis	Analysis and Modeling of False Synchronizations in 3G-WLAN Integrated Networks.	SEC	2012	DBLP DOI BibTeX RDF
24	Hiroshi Umeo	Realizing Global Synchronizations for Locally-Connected Two-Dimensional Rectangle Cellular Arrays.	AINA	2012	DBLP DOI BibTeX RDF
24	Christoforos Ntantogian, Christos Xenakis, Ioannis Stavrakakis	Reducing False Synchronizations in 3G-WLAN Integrated Networks.	IEEE Trans. Wirel. Commun.	2011	DBLP DOI BibTeX RDF
24	Ziyu Guo, Eddy Zheng Zhang, Xipeng Shen	Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU.	PACT	2011	DBLP DOI BibTeX RDF
24	Jason Cong, Yi Zou	Resolving implicit barrier synchronizations in FPGA HLS (abstract only).	FPGA	2011	DBLP DOI BibTeX RDF
24	Ziyu Guo, Xipeng Shen	Fine-Grained Treatment to Synchronizations in GPU-to-CPU Translation.	LCPC	2011	DBLP DOI BibTeX RDF
24	Hirofumi Ijichi, Hiroyuki Torikai	Theoretical Analysis of Various Synchronizations in Pulse-Coupled Digital Spiking Neurons.	ICONIP (1)	2010	DBLP DOI BibTeX RDF
24	Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam	Automated dynamic detection of busy-wait synchronizations.	Softw. Pract. Exp.	2009	DBLP DOI BibTeX RDF
24	Thu-Ha Dao-Thi, Jean-Michel Fourneau	Complex synchronizations in Markovian models: a tensor-based proof of product form.	VALUETOOLS	2009	DBLP DOI BibTeX RDF
24	Roberto Bruni, Ivan Lanese	Parametric synchronizations in mobile nominal calculi.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
24	Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart 0001	An algebraic condition for product form in stochastic automata networks without synchronizations.	Perform. Evaluation	2008	DBLP DOI BibTeX RDF
24	George A. Gravvanis, Konstantinos M. Giannoutakis	An Improved Parallel Algorithm for Computing Approximate Inverses by Reducing Synchronizations.	ISPDC	2008	DBLP DOI BibTeX RDF
24	Jean-Michel Fourneau	Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations.	EPEW	2008	DBLP DOI BibTeX RDF
24	Ivan Lanese	Concurrent and Located Synchronizations in pi-Calculus.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
24	Ivan Lanese	Exploiting User-definable Synchronizations in Graph Transformation.	GT-VMT@ETAPS	2006	DBLP DOI BibTeX RDF
24	Bertrand Thirion, Silke Dodel, Jean-Baptiste Poline	Detection of signal synchronizations in resting-state fMRI datasets.	NeuroImage	2006	DBLP DOI BibTeX RDF
24	Agustín De Dios Hernández, Benjamín Sahelices Fernández, Pablo Ibáñez, Víctor Viñals, José M. Llabería	Speeding-Up Synchronizations in DSM Multiprocessors.	Euro-Par	2006	DBLP DOI BibTeX RDF
24	Ivan Lanese, Ugo Montanari	Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.	GT-VC@CONCUR	2005	DBLP DOI BibTeX RDF
24	Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg	Synchronizations in Team Automata for Groupware Systems.	Comput. Support. Cooperative Work.	2003	DBLP DOI BibTeX RDF