Search results for "DISCO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular disco: resource management using virtual clusters on shared-memory multiprocessors.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	virtual machines, resource managment, fault containment, scalable multiprocessors
152	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors.	SOSP	1999	DBLP DOI BibTeX RDF
95	Anthony Tomasic, Rémy Amouroux, Philippe Bonnet, Olga Kapitskaia, Hubert Naacke, Louiqa Raschid	The Distributed Information Search Component (Disco) and the World Wide Web.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF	Internet
77	Guillaume Auzias, Joan Alexis Glaunès, Olivier Colliot, Matthieu Perrot, Jean-François Mangin, Alain Trouvé, Sylvain Baillet	DISCO: A Coherent Diffeomorphic Framework for Brain Registration under Exhaustive Sulcal Constraints.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
77	Spiros Papadimitriou, Jimeng Sun 0001	DisCo: Distributed Co-clustering with Map-Reduce: A Case Study towards Petabyte-Scale End-to-End Mining.	ICDM	2008	DBLP DOI BibTeX RDF
68	Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen	Specifying Cash-Point with DisCo.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	DisCo, OO methods, Verification, Animation, Temporal logic, PVS
67	Chris Mattmann, David Woollard, Nenad Medvidovic	Exploiting connector knowledge to efficiently disseminate highly voluminous data sets.	SHARK	2008	DBLP DOI BibTeX RDF	DISCO, decision theory, data grid, software connector
58	Jens B. Schmitt, Frank A. Zdarsky	The DISCO network calculator: a toolbox for worst case analysis.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	tool support, network calculus, deterministic guarantees
58	Eric Freudenthal, Vijay Karamcheti	DisCo: Middleware for Securely Deploying Decomposable Services in Partly Trusted Environments.	ICDCS	2004	DBLP DOI BibTeX RDF
58	Pertti Kellomäki	Verification of Reactive Systems Using DisCo and PVS.	FME	1997	DBLP DOI BibTeX RDF
48	Timo Nummenmaa, Jussi Kuittinen, Jussi Holopainen	Simulation as a game design tool.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	DisCo language, simulation, games, prototype, game design
47	Sergio Barberis, Daniele Disco, Roberto Vallauri, Takashi Tomura, Jiro Hirokawa	Millimeter Wave Antenna for Information Shower: Design Choices and Performance.	EuCNC	2019	DBLP DOI BibTeX RDF
47	Joanna S. Smith, Szymon Rusinkiewicz, Silvana Alberti, Junjun Chen, Maricela Coronado, Garrett Disco, Anastasia Georgiou, Tamara Pico, George Touloumes, Gina Triolo	Modeling the Past Online: Interactive Visualisation of Uncertainty and Phasing.	EuroMed	2014	DBLP DOI BibTeX RDF
42	Wolf-Tilo Balke, Anita de Waard, Yuanxi Fu, Bolin Hua, Jodi Schneider, Ningyuan Song, Xiaoguang Wang 0010 (eds.)	Proceedings of the Workshop on Digital Infrastructures for Scholarly Content Objects (DISCO 2021) co-located with ACM/IEEE Joint Conference on Digital Libraries 2021(JCDL 2021), Online (Due to the Global Pandemic), September 30, 2021.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Robert Allen	Yoked Flows for Direct Representation of Scientific Research.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Akiko Aizawa	Natural language processing and information linkage for scholarly digital infrastructures (keynote).	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Florian Plötzky, Wolf-Tilo Balke	What it Boils Down to... The Case for Event Analogies to Combat Complexity in Digital Libraries.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Halie M. Rando, Simina M. Boca, Lucy D'Agostino McGowan, Daniel S. Himmelstein, Michael P. Robson, Vincent Rubinetti, Ryan Velazquez, Casey S. Greene, Anthony Gitter	An Open-Publishing Response to the COVID-19 Infodemic.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Tim Clark	The FAIRSCAPE digital commons framework and Evidence Graphs for reproducibility (keynote).	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Denis Nagel, Till Affeldt, Wolf-Tilo Balke	Data Narrations - Using flexible Data Bindings to support the Reproducibility of Claims in Digital Library Objects.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Hermann Kroll, Judy Al-Chaar, Wolf-Tilo Balke	Open Information Extraction in Digital Libraries: Current Challenges and Open Research Questions.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Matteo Petrera, Dennis Trautwein, Isabel Beckenbach, Dariush Ehsani, Fabian Müller 0002, Olaf Teschke, Bela Gipp, Moritz Schubotz	zbMATH Open: API Solutions and Research Challenges.	DISCO@JCDL	2021	DBLP BibTeX RDF
42	Jacques Calmet, Carla Limongelli (eds.)	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings	DISCO	1996	DBLP DOI BibTeX RDF
42	Philip S. Santas	Conditional Categories and Domains.	DISCO	1996	DBLP DOI BibTeX RDF
42	Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin	Walking Faster.	DISCO	1996	DBLP DOI BibTeX RDF
42	Giovanni Cesari, Roman Maeder	Parallel 3-Primes FFT Algorithm.	DISCO	1996	DBLP DOI BibTeX RDF
42	Anthony C. Hearn	Computer Algebra and the World Wide Web.	DISCO	1996	DBLP DOI BibTeX RDF
42	Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt	Problem-Oriented Applications of Automated Theorem Proving.	DISCO	1996	DBLP DOI BibTeX RDF
42	Stéphane Dalmas, Marc Gaëtano	Making Systems Communicate and Cooperate: The Central Control Approach.	DISCO	1996	DBLP DOI BibTeX RDF
42	Wolfgang Gehrke, Carla Limongelli	Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting.	DISCO	1996	DBLP DOI BibTeX RDF
42	Paolo Ciancarini, Cecilia Mascolo	Analyzing the Dynamics of a Z Specification.	DISCO	1996	DBLP DOI BibTeX RDF
42	Grigorios Grivas, Alexios Palinginis	Compiling Residuation for a Multiparadigm Symbolic Programming Language.	DISCO	1996	DBLP DOI BibTeX RDF
42	Gregory Butler	Software Architectures for Computer Algebra: A Case Study.	DISCO	1996	DBLP DOI BibTeX RDF
42	Tudor Jebelean	Integer and Rational Arithmetic on MasPar.	DISCO	1996	DBLP DOI BibTeX RDF
42	Brian J. Dupée, James H. Davenport	An Intelligent Interface to Numerical Routines.	DISCO	1996	DBLP DOI BibTeX RDF
42	Manfred Kerber, Michael Kohlhase, Volker Sorge	Integrating Computer Algebra with Proof Planning.	DISCO	1996	DBLP DOI BibTeX RDF
42	Anatoli Degtyarev, Andrei Voronkov	Equality Elimination for the Tableau Method.	DISCO	1996	DBLP DOI BibTeX RDF
42	Alberto Paoluzzi	Generative Geometric Modeling in a Functional Environment.	DISCO	1996	DBLP DOI BibTeX RDF
42	Michal Mnuk, Franz Winkler 0001	CASA - A System for Computer Aided Constructive Algebraic Geometry.	DISCO	1996	DBLP DOI BibTeX RDF
42	Stéphane Dalmas, Marc Gaëtano, Claude Huchet	A Deductive Database for Mathematical Formulas.	DISCO	1996	DBLP DOI BibTeX RDF
42	Arthur Norman, John P. Fitch	Interfacing REDUCE to Java.	DISCO	1996	DBLP DOI BibTeX RDF
42	Karsten Homann, Jacques Calmet	Structures for Symbolic Mathematical Reasoning and Computation.	DISCO	1996	DBLP DOI BibTeX RDF	Integration of computing and reasoning paradigms, Interfaces
42	Manuel Bronstein	SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library.	DISCO	1996	DBLP DOI BibTeX RDF
42	Arnim Buch, Thomas Hillenbrand, Roland Fettig	WALDMEISTER: High Performance Equational Theorem Proving.	DISCO	1996	DBLP DOI BibTeX RDF
42	Wolfgang Weck	Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces.	DISCO	1996	DBLP DOI BibTeX RDF
42	Hans Haugeneder, Donald Steiner	Multi-Agent Cooperation - Concepts and Applications.	DISCO	1996	DBLP DOI BibTeX RDF
42	Christophe Bourely, Nicolas Peltier	DiscAtinf: A General Framework for Implementing Calculi and Strategies.	DISCO	1996	DBLP DOI BibTeX RDF
42	Gilles Barthe, Hugo Elbers	Towards Lean Proof Checking.	DISCO	1996	DBLP DOI BibTeX RDF
42	Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin	A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.	DISCO	1996	DBLP DOI BibTeX RDF
42	Paolo Ciancarini, Stelvio Cimato	Animating a Non-executable Formal Specification with a Distributed Symbolic Language.	DISCO	1996	DBLP DOI BibTeX RDF
42	Simon Gray, Norbert Kajler, Paul S. Wang	Pluggability Issues in the Multi Protocol.	DISCO	1996	DBLP DOI BibTeX RDF
42	Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi	A Reflective Language Based on Conditional Term Rewriting.	DISCO	1996	DBLP DOI BibTeX RDF
42	Seán Matthews	Implementing FS0 in Isabelle: Adding Structure at the Metalevel.	DISCO	1996	DBLP DOI BibTeX RDF
42	Martin Gogolla	Parameterizing Object Specifications.	DISCO	1996	DBLP DOI BibTeX RDF
42	Carla Limongelli, Giuseppina Malerba, Marco Temperini	Uniform Representation of Basic Algebraic Structures in Computer Algebra.	DISCO	1996	DBLP DOI BibTeX RDF
42	Giulio Balestreri	Term Rewriting Systems: An h-Categorical Semantic.	DISCO	1996	DBLP DOI BibTeX RDF
42	Gianna Cioni, Attilio Colagrossi, Marco Temperini	An Approach to Class Reasoning in Symbolic Computation.	DISCO	1996	DBLP DOI BibTeX RDF
42	Mario Daberkow, Andreas Weber 0004	A Database for Number Fields.	DISCO	1996	DBLP DOI BibTeX RDF
42	John P. Fitch (eds.)	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings	DISCO	1993	DBLP DOI BibTeX RDF
42	Alfonso Miola (eds.)	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings	DISCO	1993	DBLP DOI BibTeX RDF
42	Peter Fritzson, Vadim Engelson, Lars Viklund	Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment.	DISCO	1993	DBLP DOI BibTeX RDF
42	Ricardo Caferra, Michel Herment	GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics.	DISCO	1993	DBLP DOI BibTeX RDF	Graphic Proof Presentation, Proof Edition, Logical Frameworks
42	Antonio Vantaggiato	Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields.	DISCO	1993	DBLP DOI BibTeX RDF
42	Bo Yi, Jiafu Xu	Analogical Type Theory.	DISCO	1993	DBLP DOI BibTeX RDF
42	Andreas Weber	On Coherence in Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
42	Hoon Hong, Andreas Neubacher, Wolfgang Schreiner	The Design of the SACLIB/PACLIB Kernels.	DISCO	1993	DBLP DOI BibTeX RDF
42	William M. Farmer, Joshua D. Guttman, F. Javier Thayer	Reasoning with Contexts.	DISCO	1993	DBLP DOI BibTeX RDF
42	Martin Gogolla, Stefan Conrad 0001, Rudolf Herzig	Sketching Concepts and Computational Model of TROLL light.	DISCO	1993	DBLP DOI BibTeX RDF
42	Robert Fournier, Norbert Kajler, Bernard Mourrain	IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization.	DISCO	1993	DBLP DOI BibTeX RDF	meshed surfaces, rendering, Computer Algebra, graphic tool, TCL
42	Sabina Bonamico, Gianna Cioni, Attilio Colagrossi	An Enhanced Sequent Calculus for Reasoning in a Given Domain.	DISCO	1993	DBLP DOI BibTeX RDF
42	Valery A. Nepomniaschy, A. A. Sulimov	Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM.	DISCO	1993	DBLP DOI BibTeX RDF
42	Carla Limongelli, Marco Temperini	On the Uniform Representation of Mathematical Data Structures.	DISCO	1993	DBLP DOI BibTeX RDF
42	Angel Díaz, Markus A. Hitz, Erich L. Kaltofen, Austin Lobo, Thomas Valente	Process Scheduling in DSC and the Large Sparse Linear Systems Challenge.	DISCO	1993	DBLP DOI BibTeX RDF
42	Philip S. Santas	A Type System for Computer Algebra.	DISCO	1993	DBLP DOI BibTeX RDF
42	Jacques Calmet, Indra A. Tjandra	A Unified-Algebra-Based Specification Language for Symbolic Computing.	DISCO	1993	DBLP DOI BibTeX RDF
42	Anthony C. Hearn, Eberhard Schrüfer	An Order-Sorted Approach to Algebraic Computation.	DISCO	1993	DBLP DOI BibTeX RDF
42	Roman Maeder	Storage Allocation for the Karatsuba Integer Multipliation Algorithm.	DISCO	1993	DBLP DOI BibTeX RDF
42	Tudor Jebelean	Improving the Multiprecision Euclidian Algorithm.	DISCO	1993	DBLP DOI BibTeX RDF
42	Georgios Grivas, Roman Maeder	Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.	DISCO	1993	DBLP DOI BibTeX RDF
42	Maria Paola Bonacina, Jieh Hsiang	Distributed Deduction by Clause-Diffusion: The Aquarius Prover.	DISCO	1993	DBLP DOI BibTeX RDF
42	Paolo Di Blasio, Marco Temperini	Subtyping Inheritance in Languages for Symbolic Computation Systems.	DISCO	1993	DBLP DOI BibTeX RDF
42	Stephan A. Missura	Extending AlgBench with a Type System.	DISCO	1993	DBLP DOI BibTeX RDF
42	Richard Zippel	The Weyl Computer Algebra Substrate.	DISCO	1993	DBLP DOI BibTeX RDF
42	Eugenio G. Omodeo, Alberto Policriti	Decision Procedures for Set/Hyperset Contexts.	DISCO	1993	DBLP DOI BibTeX RDF
42	Sergei D. Meshveliani	The Algebraic Constructor CAC: Computing in Construction-Defined Domains.	DISCO	1993	DBLP DOI BibTeX RDF
42	Olga Caprotti	Extending RISC-CLP (Real) to Handle Symbolic Functions.	DISCO	1993	DBLP DOI BibTeX RDF
42	Bernhard Bauer, Rolf Hennicker	Proving the Correctness of Algebraic Implementations by the ISAR System.	DISCO	1993	DBLP DOI BibTeX RDF
42	Toby Walsh	General Purpose Proof Plans.	DISCO	1993	DBLP DOI BibTeX RDF
42	A. C. Norman	Compact Delivery Support for REDUCE.	DISCO	1993	DBLP DOI BibTeX RDF
42	Michael B. Monagan	Gauss: A Parameterized Domain of Computation System with Support for Signature Functions.	DISCO	1993	DBLP DOI BibTeX RDF
42	Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki	Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.	DISCO	1993	DBLP DOI BibTeX RDF
42	Bruno Buchberger	Mathematica: A System for Doing Mathematics by Computer? (Abstract).	DISCO	1993	DBLP DOI BibTeX RDF
42	Eugene V. Zima	Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems.	DISCO	1992	DBLP DOI BibTeX RDF
42	John P. Fitch	REDUCE Meets CAMAL.	DISCO	1992	DBLP DOI BibTeX RDF
42	Trudy Weibel, Gaston H. Gonnet	An Assume Facility for CAS, with a Sample Implementation for Maple.	DISCO	1992	DBLP DOI BibTeX RDF
42	M. Bayram, J. P. Bennett	A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems.	DISCO	1992	DBLP DOI BibTeX RDF
42	Olga Caprotti	An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series.	DISCO	1992	DBLP DOI BibTeX RDF
42	Joachim Apel, Uwe Klaus	Data Representation and In-built Compilation in the Computer Algebra Program FELIX.	DISCO	1992	DBLP DOI BibTeX RDF
42	Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone	A Uniform Approach to Deduction and Automatic Implementation.	DISCO	1992	DBLP DOI BibTeX RDF
42	C. Faure, André Galligo, J. Grimm, Loic Pottier	The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.	DISCO	1992	DBLP DOI BibTeX RDF