Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee |
Latency-constrained Resynchronization for Multiprocessor DSP Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 365-380, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2001, Heraklion, Crete Island, Greece, July 4-6, 2001, pp. 122-133, 2001, ACM, 1-58113-409-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
64 | Ding-Kai Chen, Pen-Chung Yew |
Redundant Synchronization Elimination for DOACROSS Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(5), pp. 459-470, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 14-23, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
62 | Ivan Lanese, Hernán C. Melgratti |
Synchronous Multiparty Synchronizations and Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 76-95, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Farn Wang |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 300-314, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, synchronization, distributed |
53 | Cosimo Laneve, Antonio Vitale |
The Expressive Power of Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 382-391, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 160-167, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(6), pp. 739-746, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 103-114, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia, pp. 240-250, 2006, IEEE Computer Society, 0-7695-2609-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Naoki Yonezawa, Koichi Wada 0002, Takahiro Aida |
Barrier Elimination Based on Access Dependency Analysis for OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings, pp. 362-373, 2006, Springer, 3-540-68067-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Jacques M. Bahi, Raphaël Couturier |
Parallelization of Direct Algorithms using Multisplitting Methods in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jeff Bogda, Urs Hölzle |
Removing Unnecessary Synchronization in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 35-46, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java |
38 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 47-62, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 199-205, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(5), pp. 397-430, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 381-400, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 143-154, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(2), pp. 264-276, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 38(2), pp. 189-217, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 32-46, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Mahmut T. Kandemir, Seung Woo Son 0001 |
Reducing power through compiler-directed barrier synchronization elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2006 International Symposium on Low Power Electronics and Design, 2006, Tegernsee, Bavaria, Germany, October 4-6, 2006, pp. 354-357, 2006, ACM, 1-59593-462-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
barrier elimination, low power, compiler |
26 | Akiyoshi Wakatani |
Evaluation of parallel VQ compression algorithms on an SMP system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1930-1935, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jana van Greunen, Jan M. Rabaey |
Lightweight time synchronization for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wireless Sensor Networks and Applications ![In: Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, WSNA 2003, San Diego, CA, USA, September 19, 2003, pp. 11-19, 2003, ACM, 1-58113-764-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
synchronization, spanning tree, multi-hop, lightweight |
26 | Jetty Kleijn |
Team Automata for CSCW - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 295-320, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China, pp. 46-, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 490-497, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997, pp. 136-144, 1997, ACM, 0-89791-906-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 732-741, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Raju Pandey, James C. Browne |
Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 633-645, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Rajiv Gupta 0001 |
Employing Register Channels for the Exploitation of Instruction Level Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 118-127, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 34(2), pp. 2450023:1-2450023:10, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 563, pp. 126942, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Yukinojo Kotani, Yoko Uwate, Yoshifumi Nishio |
Synchronizations in Three Coupled Oscillators with Memristor Synapses as Ring Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 20th International SoC Design Conference, ISOCC 2023, Jeju, Republic of Korea, October 25-28, 2023, pp. 251-252, 2023, IEEE, 979-8-3503-2703-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 31st Signal Processing and Communications Applications Conference, SIU 2023, Istanbul, Turkey, July 5-8, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-4355-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Gábor Bergmann |
Controllable and decomposable multidirectional synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 20(5), pp. 1735-1774, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 88868-88878, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 29(4), pp. 1580-1590, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interdiscip. Telecommun. Netw. ![In: Int. J. Interdiscip. Telecommun. Netw. 13(1), pp. 25-35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Terry N. Guo, Allen B. MacKenzie, Husheng Li |
Interferometry Based Integrated Sensing and Communications with Imperfect Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2021, Madrid, Spain, December 7-11, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-8104-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Senlin Yan |
An All Optics LAN with Double-Center and Its Synchronizations in Multi-Dynamics States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIIS ![In: ICAIIS 2021: 2021 2nd International Conference on Artificial Intelligence and Information Systems, Chongqing, China, May 28 - 30, 2021, pp. 62:1-62:6, 2021, ACM, 978-1-4503-9020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 38(3), pp. 2569-2583, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(11), pp. 1765, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Konstantinos Gkiotsalitis, Oskar A. L. Eikenbroek, Oded Cats |
Robust Network-Wide Bus Scheduling With Transfer Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 21(11), pp. 4582-4592, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Abdia Hamdani, Abdelkrim Abdelli |
Towards modelling and analyzing timed workflow systems with complex synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 32(4), pp. 491-504, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(6), pp. 664, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: 16th International Wireless Communications and Mobile Computing Conference, IWCMC 2020, Limassol, Cyprus, June 15-19, 2020, pp. 1145-1152, 2020, IEEE, 978-1-7281-3129-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang 0001 |
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 160-176, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sergio Nesmachnow, Andrei Tchernykh |
Affinity multiprocessor scheduling considering communications and synchronizations using a Multiobjective Iterated Local Search algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICTS ![In: Proceedings of the 1st International Workshop on Advanced Information and Computation Technologies and Systems, Irkutsk, Russia, December 7-11, 2020., pp. 120-126, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Bernd Heinrich, Felix Krause 0001, Alexander Schiller |
Automated planning of process models: The construction of parallel splits and synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 125, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 29(11), pp. 1950147:1-1950147:27, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memetic Comput. ![In: Memetic Comput. 11(4), pp. 357-370, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 98, pp. 503-511, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jafar Hamin, Bart Jacobs 0002 |
Transferring Obligations Through Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom., pp. 19:1-19:58, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-111-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Lukasz Szustak |
Strategy for data-flow synchronizations in stencil parallel computations on multi-/manycore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 74(4), pp. 1534-1546, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Sarah Winter |
Uniformization Problems for Synchronizations of Automatic Relations on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.02444, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.03395, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Sarah Winter |
Uniformization Problems for Synchronizations of Automatic Relations on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 142:1-142:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 62(3), pp. 1329-1341, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 80, pp. 172-176, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Giua, Cristian Mahulea, Carla Seatzu |
Decentralized observability of discrete event systems with synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 85, pp. 468-476, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 15th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2017, Seoul, Republic of Korea, October 15 - 20, 2017, pp. 51-60, 2017, ACM, 978-1-4503-5117-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE ![In: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, pp. 169-170, 2017, ACM, 978-1-4503-4404-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANALCO ![In: Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2017, Barcelona, Spain, Hotel Porta Fira, January 16-17, 2017., pp. 16-30, 2017, SIAM, 978-1-61197-477-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Nan Du, Hesuan Hu |
Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 2322-2328, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 29th ACM on International Conference on Supercomputing, ICS'15, Newport Beach/Irvine, CA, USA, June 08 - 11, 2015, pp. 109-118, 2015, ACM, 978-1-4503-3559-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Michael Butler, Kittisak Sajjapongse, Michela Becchi |
Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 21st IEEE International Conference on Parallel and Distributed Systems, ICPADS 2015, Melbourne, Australia, December 14-17, 2015, pp. 535-544, 2015, IEEE Computer Society, 978-0-7695-5785-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
24 | Sheng-Xin Zhu, Tongxiang Gu, Xing-Ping Liu |
Minimizing synchronizations in sparse iterative solvers for distributed supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(1), pp. 199-209, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Peter G. Harrison, Andrea Marin |
Product-Forms in Multi-Way Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 57(11), pp. 1693-1710, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASC ![In: Solving Software Challenges for Exascale - International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers, pp. 100-109, 2014, Springer, 978-3-319-15975-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Xiaojun Liu, Ling Hong |
Chaos and Adaptive Synchronizations in fractional-Order Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 23(11), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Le Yin |
Effectively Recognize Ad hoc Synchronizations with Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing - 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25-27, 2013. Revised Selected Papers, pp. 187-201, 2013, Springer, 978-3-319-09966-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2013 IEEE International Conference on Bioinformatics and Biomedicine, Shanghai, China, December 18-21, 2013, pp. 61-68, 2013, IEEE Computer Society, 978-1-4799-1309-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BD3@VLDB ![In: Proceedings of the First International Workshop on Big Dynamic Distributed Data, Riva del Garda, Italy, August 30, 2013, pp. 13-18, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Weiwei Xiong |
Taming implicit synchronizations in concurrent programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 22(7), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Thu-Ha Dao-Thi, Jean-Michel Fourneau |
Markovian queueing network with complex synchronizations: Product form and tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 69(3-4), pp. 164-186, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Christoforos Ntantogian, Christos Xenakis, Ioannis Stavrakakis |
Analysis and Modeling of False Synchronizations in 3G-WLAN Integrated Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Information Security and Privacy Research - 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings, pp. 475-488, 2012, Springer, 978-3-642-30435-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hiroshi Umeo |
Realizing Global Synchronizations for Locally-Connected Two-Dimensional Rectangle Cellular Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: IEEE 26th International Conference on Advanced Information Networking and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012, pp. 344-351, 2012, IEEE Computer Society, 978-1-4673-0714-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Christoforos Ntantogian, Christos Xenakis, Ioannis Stavrakakis |
Reducing False Synchronizations in 3G-WLAN Integrated Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 10(11), pp. 3765-3773, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011, pp. 310-319, 2011, IEEE Computer Society, 978-1-4577-1794-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Jason Cong, Yi Zou |
Resolving implicit barrier synchronizations in FPGA HLS (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, FPGA 2011, Monterey, California, USA, February 27, March 1, 2011, pp. 278, 2011, ACM, 978-1-4503-0554-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ziyu Guo, Xipeng Shen |
Fine-Grained Treatment to Synchronizations in GPU-to-CPU Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers, pp. 171-184, 2011, Springer, 978-3-642-36035-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Hirofumi Ijichi, Hiroyuki Torikai |
Theoretical Analysis of Various Synchronizations in Pulse-Coupled Digital Spiking Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing. Theory and Algorithms - 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I, pp. 107-115, 2010, Springer, 978-3-642-17536-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam |
Automated dynamic detection of busy-wait synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 39(11), pp. 947-972, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: 4th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS '09, Pisa, Italy, October 20-22, 2009, pp. 50, 2009, ICST/ACM, 978-963-9799-70-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Bruni, Ivan Lanese |
Parametric synchronizations in mobile nominal calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 402(2-3), pp. 102-119, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 65(11-12), pp. 854-868, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | George A. Gravvanis, Konstantinos M. Giannoutakis |
An Improved Parallel Algorithm for Computing Approximate Inverses by Reducing Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 237-243, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Michel Fourneau |
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings, pp. 110-124, 2008, Springer, 978-3-540-87411-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Lanese |
Concurrent and Located Synchronizations in pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, pp. 388-399, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Lanese |
Exploiting User-definable Synchronizations in Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GT-VMT@ETAPS ![In: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006, pp. 27-38, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Bertrand Thirion, Silke Dodel, Jean-Baptiste Poline |
Detection of signal synchronizations in resting-state fMRI datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 29(1), pp. 321-327, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 473-484, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ivan Lanese, Ugo Montanari |
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GT-VC@CONCUR ![In: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005, pp. 55-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg |
Synchronizations in Team Automata for Groupware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 12(1), pp. 21-69, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|