Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
159 | Martin Helmut Alt, Uwe Aßmann, Hans van Someren 0001 |
Cosy Compiler Phase Embedding with the CoSy Compiler Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 278-293, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
110 | Jean-Yves Brunel, W. M. Kruijtzer, H. J. H. N. Kenter, Frédéric Pétrot, L. Pasquier, Erwin A. de Kock, W. J. M. Smits |
COSY communication IP's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 406-409, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
system design, IP, communication interface |
110 | M. W. Shields, Peter E. Lauer |
Verifying Concurrent System Specification in COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, pp. 576-586, 1980, Springer, 3-540-10027-X. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
90 | Junwei Cao, Falk Zimmermann |
Queue Scheduling and Advance Reservations with COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | George F. Corliss, Jun Yu |
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 91-106, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Ernst-Rüdiger Olderog |
From Trace Specifications to Process Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 592-621, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes |
51 | Ernst-Rüdiger Olderog |
Strong bisimilarity on nets: a new concept for comparing net semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 549-573, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness |
48 | Roger Butenuth |
Small, Scalable, and Efficient, Microkernels for Highly Parallel Computers are Possible: Cosy as an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APDC ![In: Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), March 19-21, 1997, Shanghai, China, pp. 196-205, 1997, IEEE Computer Society, 0-8186-7876-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
48 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 368-379, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
47 | Cosy Muto |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106(5), pp. 816, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Cosy Muto |
A Polyphase Transfer Function Design Based on Frequency Transformation from Prototype LPF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(2), pp. 554-556, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Cosy Muto, Hiroshi Hoshikawa |
An Integrable Image Rejection System Using a Complex Analog Filter with Variable Bandwidth and Center Frequency Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(2), pp. 309-315, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
31 | Piotr W. Prószynski |
The Core Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 336-345, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Nonsequential systems, COSY, Concurrency, nets |
28 | Fabian Samek, Mathias Eulers, Markus Dresel, Nicole Jochems, Andreas Schrader, Alfred Mertins |
CoSy - AI enhanced assistance system for face to face communication trainings in higher healthcare education: AI enhanced assistance system for face to face communication trainings in higher healthcare education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2023, Corfu, Greece, July 5-7, 2023, pp. 457-460, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ben Simons, Thomas Ricciardiello, Darren Lee |
Multi-User Collaborative Interaction System: Cosy Living Room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUI ![In: Proceedings of the 2023 ACM Symposium on Spatial User Interaction, SUI 2023, Sydney, NSW, Australia, October 13-15, 2023, pp. 55:1-55:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Sicheng Yu, Hao Zhang 0048, Yulei Niu, Qianru Sun, Jing Jiang 0001 |
COSY: COunterfactual SYntax for Cross-Lingual Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL/IJCNLP (1) ![In: Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, ACL/IJCNLP 2021, (Volume 1: Long Papers), Virtual Event, August 1-6, 2021., pp. 577-589, 2021, Association for Computational Linguistics, 978-1-954085-52-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Oliver Hödl, Peter Oberhauser, Peter Reichl |
cosy: sonics - A Mobile App to Explore Technology Reflection Among Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMT ![In: Proceedings of the 11th Forum Media Technology and 4th All Around Audio Symposium, St. Pölten, Austria, November 28-29, 2018., pp. 17-24, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Chen Xin, Qiang Chen, Miren Tian, Mohan Ji, Chenglong Zou, Xin'an Wang, Bo Wang 0016 |
COSY: An Energy-Efficient Hardware Architecture for Deep Convolutional Neural Networks Based on Systolic Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 23rd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2017, Shenzhen, China, December 15-17, 2017, pp. 180-189, 2017, IEEE Computer Society, 978-1-5386-2129-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Razvan Nane, Vlad Mihai Sima, Bryan Olivier, Roel Meeuws, Yana Yankova, Koen Bertels |
DWARV 2.0: A CoSy-based C-to-VHDL hardware compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012, pp. 619-622, 2012, IEEE, 978-1-4673-2257-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | David Philipona, J. Kevin O'Regan |
The Sensorimotor Approach in CoSy: The Example of Dimensionality Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Systems ![In: Cognitive Systems, pp. 95-130, 2010, Springer, 978-3-642-11693-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Andrzej Pronobis, Barbara Caputo |
COLD: The CoSy Localization Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 28(5), pp. 588-594, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Hideyuki Masui, Huixiao Hong |
Spec2D: A Structure Elucidation System Based on 1H NMR and H-H COSY Spectra in Organic Chemistry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 46(2), pp. 775-787, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Nathalie Revol, Kyoko Makino, Martin Berz |
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 64(1), pp. 135-154, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | S. Banakar, H. Chung, M. A. Thomas |
2D Constant Time Correlated Spectroscopy (CT-COSY): Simulated and Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
METMBS ![In: Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Scienes, METMBS '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, pp. 135-139, 2003, CSREA Press, 1-932415-04-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Amit Purohit, Charles P. Wright, Joseph Spadavecchia, Erez Zadok |
Cosy: Develop in User-Land, Run in Kernel-Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA, pp. 109-114, 2003, USENIX, 1-931971-17-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Maciej Koutny |
Peter Lauer and COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 40(2-3), pp. 103-107, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Loi Duy Vu |
ATM-based local area networks - the COSY migration approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 20(6), pp. 420-427, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Loi Duy Vu |
ATM-basierte lokale Rechnernetze - Das COSY-Konzept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informationstechnik Tech. Inform. ![In: Informationstechnik Tech. Inform. 39(1), pp. 15-20, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Roger Butenuth, Wolfgang Burke, César A. F. De Rose, S. Gilles, Roland Weber |
Experiences in building Cosy - an Operating System for Highly Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Fundamentals, Applications and New Directions, Proceedings of the Conference ParCo'97, 19-22 September 1997, Bonn, Germany., pp. 469-476, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
28 | Kuo-Bin Li, Bryan C. Sanctuary |
Automated Extracting of Amino Acid Spin Systems in Proteins Using 3D HCCH-COSY/TOCSY Spectroscopy and Constrained Partitioning Algorithm (CPA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 36(3), pp. 585-593, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Roger Butenuth, Wolfgang Burke, Hans-Ulrich Heiss |
COSY: An Operating System for Highly Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 30(2), pp. 81-91, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Jun Xu, Bryan C. Sanctuary |
CPA: Constrained partitioning algorithm for initial assignment of protein proton resonances from MQF-COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 33(3), pp. 490-500, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 94(1), pp. 141-158, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Ryszard Janicki, Peter E. Lauer |
Specification and Analysis of Concurrent Systems - The COSY Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
DOI RDF |
|
28 | Piotr W. Prószynski |
On Operational Equivalence of COSY Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings, pp. 191-196, 1992, IEEE Computer Society, 0-8186-2812-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Jürgen Moll |
Die Bereitstellung computerunterstützter Methoden zur Analyse der Strahlungssituation an Teilchenbeschleunigern und deren exemplarische Anwendung auf das Cooler-Synchrotron COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
28 | Felicja Okulicka |
On Priority in Cosy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 74(2), pp. 199-216, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Eike Best |
COSY: Its Relation to Nets and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets ![In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, pp. 416-440, 1986, Springer, 3-540-17906-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | S. R. Groß |
Leistungsanalyse des lokalen Netzes COSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Angew. Inform. ![In: Angew. Inform. 26(7), pp. 287-295, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
28 | S. R. Groß, Uwe Hinrichsen, Günther Stiege |
COSY - Ein lokaler Rechnerverbund auf der Basis eines autonomen Datenübertragungssystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Angew. Inform. ![In: Angew. Inform. 25(2), pp. 62-67, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
28 | Peter E. Lauer, M. W. Shields |
Interpreted COSY Programs: Programming and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981, pp. 137-147, 1981, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
28 | Peter E. Lauer, Piero R. Torrigiani, M. W. Shields |
COSY - A System Specification Language Based on Paths and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 12, pp. 109-158, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
21 | Michael Brenner 0001 |
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: IEEE RO-MAN 2007, 16th IEEE International Symposium on Robot & Human Interactive Communication, August 26-29, 2007, Jeju Island, South Korea, Proceedings, pp. 540-545, 2007, IEEE, 978-1-4244-1634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Wahlen, Tilman Glökler, Achim Nohl, Andreas Hoffmann 0002, Rainer Leupers, Heinrich Meyr |
Application specific compiler/architecture codesign: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES-SCOPES ![In: Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002, pp. 185-193, 2002, ACM, 1-58113-527-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ASIP, architecture exploration, retargetable compiler |
21 | Andreas Uhl |
Architectures and Algorithms for Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 805-806, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Denis Hommais, Frédéric Pétrot, Ivan Augé |
A Tool Box to Map System Level Communications on HW/SW Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA, pp. 77-83, 2001, IEEE Computer Society, 0-7695-1206-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Jochen Liedtke |
A Short Note on Cheap Fine-grained Time Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 30(2), pp. 92-94, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Ernst-Rüdiger Olderog |
Correctness of Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings, pp. 107-132, 1989, Springer, 3-540-51486-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers |
Maximally Concurrent Evolution of Non-sequential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 268-280, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|