Search results for "COSY"

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.	CC	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.	DAC	2000	DBLP DOI BibTeX RDF	system design, IP, communication interface
110	M. W. Shields, Peter E. Lauer	Verifying Concurrent System Specification in COSY.	MFCS	1980	DBLP DOI BibTeX RDF
90	Junwei Cao, Falk Zimmermann	Queue Scheduling and Advance Reservations with COSY.	IPDPS	2004	DBLP DOI BibTeX RDF
69	George F. Corliss, Jun Yu	Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
51	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	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.	REX Workshop	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.	APDC	1997	DBLP DOI BibTeX RDF
48	Maciej Koutny	Adequacy-Preserving Transformations of COSY Path Programs.	Concurrency	1988	DBLP DOI BibTeX RDF
47	Cosy Muto	Foreword.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
47	Cosy Muto	A Polyphase Transfer Function Design Based on Frequency Transformation from Prototype LPF.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	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.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2002	DBLP BibTeX RDF
31	Piotr W. Prószynski	The Core Concurrency.	ICCI	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.	PETRA	2023	DBLP DOI BibTeX RDF
28	Ben Simons, Thomas Ricciardiello, Darren Lee	Multi-User Collaborative Interaction System: Cosy Living Room.	SUI	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.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
28	Oliver Hödl, Peter Oberhauser, Peter Reichl	cosy: sonics - A Mobile App to Explore Technology Reflection Among Students.	FMT	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.	ICPADS	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.	FPL	2012	DBLP DOI BibTeX RDF
28	David Philipona, J. Kevin O'Regan	The Sensorimotor Approach in CoSy: The Example of Dimensionality Reduction.	Cognitive Systems	2010	DBLP DOI BibTeX RDF
28	Andrzej Pronobis, Barbara Caputo	COLD: The CoSy Localization Database.	Int. J. Robotics Res.	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.	J. Chem. Inf. Model.	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.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
28	S. Banakar, H. Chung, M. A. Thomas	2D Constant Time Correlated Spectroscopy (CT-COSY): Simulated and Experimental Results.	METMBS	2003	DBLP BibTeX RDF
28	Amit Purohit, Charles P. Wright, Joseph Spadavecchia, Erez Zadok	Cosy: Develop in User-Land, Run in Kernel-Mode.	HotOS	2003	DBLP BibTeX RDF
28	Maciej Koutny	Peter Lauer and COSY.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
28	Loi Duy Vu	ATM-based local area networks - the COSY migration approach.	Comput. Commun.	1997	DBLP DOI BibTeX RDF
28	Loi Duy Vu	ATM-basierte lokale Rechnernetze - Das COSY-Konzept.	Informationstechnik Tech. Inform.	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.	PARCO	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).	J. Chem. Inf. Comput. Sci.	1996	DBLP DOI BibTeX RDF
28	Roger Butenuth, Wolfgang Burke, Hans-Ulrich Heiss	COSY: An Operating System for Highly Parallel Computers.	ACM SIGOPS Oper. Syst. Rev.	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.	J. Chem. Inf. Comput. Sci.	1993	DBLP DOI BibTeX RDF
28	Maciej Koutny	Adequacy-Preserving Transformations of COSY Path Programs.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
28	Ryszard Janicki, Peter E. Lauer	Specification and Analysis of Concurrent Systems - The COSY Approach		1992	DOI RDF
28	Piotr W. Prószynski	On Operational Equivalence of COSY Programs.	ICCI	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.		1991	RDF
28	Felicja Okulicka	On Priority in Cosy.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
28	Eike Best	COSY: Its Relation to Nets and CSP.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
28	S. R. Groß	Leistungsanalyse des lokalen Netzes COSY.	Angew. Inform.	1984	DBLP BibTeX RDF
28	S. R. Groß, Uwe Hinrichsen, Günther Stiege	COSY - Ein lokaler Rechnerverbund auf der Basis eines autonomen Datenübertragungssystems.	Angew. Inform.	1983	DBLP BibTeX RDF
28	Peter E. Lauer, M. W. Shields	Interpreted COSY Programs: Programming and Verification.	ICDCS	1981	DBLP BibTeX RDF
28	Peter E. Lauer, Piero R. Torrigiani, M. W. Shields	COSY - A System Specification Language Based on Paths and Processes.	Acta Informatica	1979	DBLP DOI BibTeX RDF
21	Michael Brenner 0001	Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots.	RO-MAN	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.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	ASIP, architecture exploration, retargetable compiler
21	Andreas Uhl	Architectures and Algorithms for Multimedia Applications.	Euro-Par	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.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
21	Jochen Liedtke	A Short Note on Cheap Fine-grained Time Measurement.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
21	Ernst-Rüdiger Olderog	Correctness of Concurrent Processes.	MFCS	1989	DBLP DOI BibTeX RDF
21	Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers	Maximally Concurrent Evolution of Non-sequential Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF