Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Karl Blümlinger, Christof Dallermassl, Heimo Haub, Philipp Zambelli	Object Life-Cycle Management in a Highly Flexible Middleware System.	JMLC	2003	DBLP DOI BibTeX RDF
14	Jim Miller	Evolving a Multi-language Object-Oriented Framework: Lessons from .NET.	JMLC	2003	DBLP DOI BibTeX RDF
14	Markus Schordan, Daniel J. Quinlan	A Source-to-Source Architecture for User-Defined Optimizations.	JMLC	2003	DBLP DOI BibTeX RDF
14	Brian Kirk, Stuart Doyle, Toby Harris, Tom Priestly	Systems = Components + Languages: Building a Flexible Real-Time Simulation and Test Environment.	JMLC	2003	DBLP DOI BibTeX RDF
14	Josef Templ	The KITE Application Server Architecture.	JMLC	2003	DBLP DOI BibTeX RDF
14	Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin	Computing with Distributed Resources.	JMLC	2003	DBLP DOI BibTeX RDF
14	Jürg Gutknecht, Eugene Zueff	Zonnon for.NET - A Language and Compiler Experiment.	JMLC	2003	DBLP DOI BibTeX RDF
14	Rodney M. Bates	Language Definition in the Schütz Semantic Editor.	JMLC	2003	DBLP DOI BibTeX RDF
14	Petr Hnetynka, Petr Tuma 0001	Fighting Class Name Clashes in Java Component Systems.	JMLC	2003	DBLP DOI BibTeX RDF	name clashes, Java, components, interfaces, versioning, classes
14	Fyodor V. Tkachov	Programming Education: A Russian Perspective.	JMLC	2003	DBLP DOI BibTeX RDF
14	Paul Roe	Distributed XML Objects.	JMLC	2003	DBLP DOI BibTeX RDF
14	Roland Tusch	Towards an Adaptive Distributed Multimedia Streaming Server Architecture Based on Service-Oriented Components.	JMLC	2003	DBLP DOI BibTeX RDF
14	C. A. R. Hoare	The Verifying Compiler: A Grand Challange for Computing Research.	JMLC	2003	DBLP DOI BibTeX RDF
14	Thomas Genssler, Volker Kuttruff	Source-to-Source Transformation in the Large.	JMLC	2003	DBLP DOI BibTeX RDF
14	Simon D. Kent	A Layered Type System for Re-entrance Control.	JMLC	2003	DBLP DOI BibTeX RDF
14	Roland T. Mittermeir, Andreas Bollin	Demand-Driven Specification Partitioning.	JMLC	2003	DBLP DOI BibTeX RDF
14	Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler	Metaprogramming Library for the C# Programming Language.	JMLC	2003	DBLP DOI BibTeX RDF
14	Niklaus Wirth	The Essence of Programming Languages.	JMLC	2003	DBLP DOI BibTeX RDF
14	Ulrich Hirnschrott, Andreas Krall, Bernhard Scholz	Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.	JMLC	2003	DBLP DOI BibTeX RDF
14	Christian Heinlein	Safely Extending Procedure Types to Allow Nested Procedures as Values.	JMLC	2003	DBLP DOI BibTeX RDF
14	Michael Franz	Safe Code - It's Not Just for Applets Anymore.	JMLC	2003	DBLP DOI BibTeX RDF
14	Volkan Arslan, Piotr Nienaltowski, Karine Arnout	Event Library: An Object-Oriented Library for Event-Driven Design.	JMLC	2003	DBLP DOI BibTeX RDF
14	Thomas M. Frey	Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos.	JMLC	2003	DBLP DOI BibTeX RDF
14	Andrey Koltashev	A Practical Approach to Software Portability Based on Strong Typing and Architectural Stratification.	JMLC	2003	DBLP DOI BibTeX RDF
14	Jeff C. Sand, Peihua Gu, G. Watson	HOME: House Of Modular Enhancement---a Tool for Modular Product Redesign.	Concurr. Eng. Res. Appl.	2002	DBLP DOI BibTeX RDF
14	Jürg Gutknecht, Wolfgang Weck (eds.)	Modular Programming Languages, Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000, Proceedings	JMLC	2000	DBLP DOI BibTeX RDF
14	Andrew Bzostek, Rajesh Kumar 0001, Nobuhiko Hata, Oliver Schorr, Ron Kikinis, Russell H. Taylor	Distributed Modular Computer-Integrated Surgical Robotic Systems: Implementation Using Modular Software and Networked Systems.	MICCAI	2000	DBLP DOI BibTeX RDF
14	Clemens A. Szyperski	Rethinking Our Trade and Science: From Developing Components to Component-Based Development.	JMLC	2000	DBLP DOI BibTeX RDF
14	Paul Reed	Building Your Own Tools: An Oberon Industrial Case-Study.	JMLC	2000	DBLP DOI BibTeX RDF
14	Atanas Radenski	Derivation of Secure Parallel Applications by Means of Module Embedding.	JMLC	2000	DBLP DOI BibTeX RDF
14	Ole Lehrmann Madsen	Abstraction and Modularization in the BETA Programming Language.	JMLC	2000	DBLP DOI BibTeX RDF
14	Peter H. Fröhlich, Michael Franz	Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages.	JMLC	2000	DBLP DOI BibTeX RDF
14	Gabrio Rivera, Moira C. Norrie	OMX-FS: An Extended File System Architecture Based on a Generic Object Model.	JMLC	2000	DBLP DOI BibTeX RDF
14	Patrik Reali	Structuring a Compiler with Active Objects.	JMLC	2000	DBLP DOI BibTeX RDF
14	Henrik Bærbak Christensen	Modularisation of Software Configuration Management.	JMLC	2000	DBLP DOI BibTeX RDF
14	Brian Kirk	System Architecture and Design Using Co-operating Groups of Real and Abstract Components.	JMLC	2000	DBLP DOI BibTeX RDF
14	Markus Knasmüller	On Adding a Query Language to a Persistent Object System.	JMLC	2000	DBLP DOI BibTeX RDF
14	Erich Oswald	Leonardo: A Framework for Modeling and Editing Graphical Components.	JMLC	2000	DBLP DOI BibTeX RDF
14	Jürg Gutknecht	Oberon as an Implementation Language for COM Components: A Case Study in Language Interoperability.	JMLC	2000	DBLP DOI BibTeX RDF
14	Niklaus Wirth	The Development of Procedural Programming Languages: Personal Contributions and Perspectives.	JMLC	2000	DBLP DOI BibTeX RDF
14	Josef Sedlacek, Jürg Gutknecht	Project C2 - A Survey of an Industrial Embedded Application with Native Oberon for PC.	JMLC	2000	DBLP DOI BibTeX RDF
14	K. John Gough, Diane Corney	Evaluating the Java Virtual Machine as a Target for Languages Other Than Java.	JMLC	2000	DBLP DOI BibTeX RDF
14	Franz Achermann, Oscar Nierstrasz	Explicit Namespaces.	JMLC	2000	DBLP DOI BibTeX RDF
14	Spyros Lalis	A Design Pattern and Programming Framework for Interactive Metacomputing.	JMLC	2000	DBLP DOI BibTeX RDF
14	Markus Hof	Composable Message Semantics in Oberon.	JMLC	2000	DBLP DOI BibTeX RDF
14	Vitaly V. Mikheev	Design of Multilingual Retargetable Compilers: Experience of the XDS Framework Evolution.	JMLC	2000	DBLP DOI BibTeX RDF
14	Marek Paralic	Mobile Agents Based on Concurrent Constraint Programming.	JMLC	2000	DBLP DOI BibTeX RDF
14	Paul Roe, Clemens A. Szyperski	Mianjin: A Parallel Language with a Type System That Governs Global System Behaviour.	JMLC	2000	DBLP DOI BibTeX RDF
14	Riccardo Pucella	The Design of a COM-Oriented Module System.	JMLC	2000	DBLP DOI BibTeX RDF
14	Pieter Muller	A Multiprocessor Kernel for Active Object-Based Systems.	JMLC	2000	DBLP DOI BibTeX RDF
14	David A. Mix Barrington, Howard Straubing	Lower bounds for modular counting by circuits with modular gates.	Comput. Complex.	1999	DBLP DOI BibTeX RDF
14	Richard E. Matick	Modular nets (MNETS): A modular design methodology for computer timers.	IBM J. Res. Dev.	1998	DBLP DOI BibTeX RDF
14	Hanspeter Mössenböck (eds.)	Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings	JMLC	1997	DBLP DOI BibTeX RDF
14	Roland T. Mittermeir, László Böszörményi	Choosing Modula-3 as "Mother-Tongue".	JMLC	1997	DBLP DOI BibTeX RDF
14	Peter G. Kluit, Cornelis Pronk, Rob Verver	Static Type Checking and Method Lookup in Plop!.	JMLC	1997	DBLP DOI BibTeX RDF
14	Frantisek Plásil, Daniel Mikusík	Inheriting Synchronization Protocols via Sound Enrichment Rules.	JMLC	1997	DBLP DOI BibTeX RDF
14	Franz Puntigam	Types That Reflect Changes of Object Usability.	JMLC	1997	DBLP DOI BibTeX RDF
14	Alonso J. Peralta, Pere Botella, Joan Serras	Developing a Full Life Cycle Language.	JMLC	1997	DBLP DOI BibTeX RDF
14	Suzanne Collin, Dominique Colnet, Olivier Zendra	Type Inference for Late Binding: The SmallEiffel Compiler.	JMLC	1997	DBLP DOI BibTeX RDF
14	K. John Gough, Herbert Klaeren	Executable Assertions and Separate Compilation.	JMLC	1997	DBLP DOI BibTeX RDF
14	Thomas Kistler	Dynamic Runtime Optimization.	JMLC	1997	DBLP DOI BibTeX RDF
14	Markus Hof	Just-in-Time Stub Generation.	JMLC	1997	DBLP DOI BibTeX RDF
14	Paul Roe, Clemens A. Szyperski	Lightweight Parametric Polymorphism for Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
14	Igor Velbitskiy, Sergey Yershov, Igor Netesin	CDCS: A New Development Approach for Distributed Applications in Java.	JMLC	1997	DBLP DOI BibTeX RDF
14	Mark Evered, James Leslie Keedy, Axel Schmolitzky, Gisela Menger	How Well Do Inheritance Mechanisms Support Inheritance Concepts?.	JMLC	1997	DBLP DOI BibTeX RDF
14	Daniel Scherer	A Messaging Architecture for Distributed Objects in Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
14	K. John Gough	Multi-language, Multi-target Compiler Development: Evolution of the Gardens Point Compiler Project.	JMLC	1997	DBLP DOI BibTeX RDF
14	Gerhard Goos	From Programming Languages to Program Construction.	JMLC	1997	DBLP DOI BibTeX RDF
14	Andreas Krall, Jan Vitek	On Extending Java.	JMLC	1997	DBLP DOI BibTeX RDF
14	Christoph Steindl	Reflection in Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
14	Cornelis Pronk, Richard J. Sutcliffe	Scalable Modules in Generic Modula-2.	JMLC	1997	DBLP DOI BibTeX RDF
14	Markus Knasmüller	Adding Persistence to the Oberon-System.	JMLC	1997	DBLP DOI BibTeX RDF
14	Andreas R. Disteli, Patrick Reali	Combining Oberon with Active Objects.	JMLC	1997	DBLP DOI BibTeX RDF
14	Brian Kirk, Libero Nigro, Francesco Pupo	Using Real Time Constraints for Modularisation.	JMLC	1997	DBLP DOI BibTeX RDF
14	Ulrich W. Eisenecker	Generative Programming (GP) with C++.	JMLC	1997	DBLP DOI BibTeX RDF
14	Wolfgang Weck	An Abstract Data Type for Freezable Lists and DAGs.	JMLC	1997	DBLP DOI BibTeX RDF
14	Emil Zeller	Seamless Integration of Online Services in the Oberon Document System.	JMLC	1997	DBLP DOI BibTeX RDF
14	Jürg Gutknecht	Do the Fish Really Need Remote Control? A Proposal for Self-Active Objects in Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
14	Jacques Supcik, Moira C. Norrie	An Object-Oriented Database Programming Environment for Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
14	David A. Mix Barrington, Howard Straubing	Lower Bounds for Modular Counting by Circuits with Modular Gates.	LATIN	1995	DBLP DOI BibTeX RDF
14	Benjamin Arazi	Double-Precision Modular Multiplication Based on a Single-Precision Modular Multiplier and a Standard CPU.	IEEE J. Sel. Areas Commun.	1993	DBLP DOI BibTeX RDF
14	Michel Bidoit, Rolf Hennicker	A General Framework for Modular Implementations of Modular System Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
14	Naofumi Takagi	A radix-4 modular multiplication hardware algorithm efficient for iterative modular multiplications.	IEEE Symposium on Computer Arithmetic	1991	DBLP DOI BibTeX RDF
14	Taiichi Yuasa, Reiji Nakajima	System Supports for Modular Programming.	The IOTA Programming System	1983	DBLP DOI BibTeX RDF
14	Akihiko Koga, Taiichi Yuasa	Supports for Cooperative Modular Programming.	The IOTA Programming System	1983	DBLP DOI BibTeX RDF
13	Nathan R. Tallent, John M. Mellor-Crummey, Michael W. Fagan	Binary analysis for measurement and attribution of program performance.	PLDI	2009	DBLP DOI BibTeX RDF	call path profiling, static analysis, performance tools, binary analysis, hpctoolkit
13	Daniel Warneke, Ulf Rerrer-Brusch	Exchangeable, application-independent load balancing for P2P simulation frameworks.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, peer-to-peer, load balancing, modularization
13	Stefan Kahrs	Modularity of Convergence in Infinitary Rewriting.	RTA	2009	DBLP DOI BibTeX RDF
13	Owen Harrison, John Waldron	Efficient Acceleration of Asymmetric Cryptography on Graphics Hardware.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	RSA, Public-Key Cryptography, Residue Number System, Graphics Processor
13	Jörg Kienzle, Clark Verbrugge, Bettina Kemme, Alexandre Denault, Michael Hawker	Mammoth: a massively multiplayer game research framework.	FDG	2009	DBLP DOI BibTeX RDF
13	Rui Gong, Wei Chen 0009, Fang Liu 0002, Kui Dai, Zhiying Wang 0003	A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	SEE tolerance, SEU tolerance, SET tolerance, Asynchronous circuit
13	David Johan Christensen, David Brandt, Kasper Støy, Ulrik Pagh Schultz	A unified simulator for Self-Reconfigurable Robots.	IROS	2008	DBLP DOI BibTeX RDF
13	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
13	Jens Dietrich 0001, Vyacheslav Yakovlev, Catherine McCartin, Graham Jenson, Manfred Duchrow	Cluster analysis of Java dependency graphs.	SOFTVIS	2008	DBLP DOI BibTeX RDF	anti-pattern detection, refactoring, cluster analysis, dependency analysis
13	Jussi Vanhatalo, Hagen Völzer, Jana Koehler	The Refined Process Structure Tree.	BPM	2008	DBLP DOI BibTeX RDF	Workflow graph parsing, Model decomposition, BPMN to BPEL translation/ roundtripping, Subprocess detection, Graph theory, Control flow
13	Keklik Alptekin Bayam, Siddika Berna Örs	Differential Power Analysis resistant hardware implementation of the RSA cryptosystem.	ISCAS	2008	DBLP DOI BibTeX RDF
13	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
13	Boyang Li 0008, Jinglu Hu, Kotaro Hirasawa	Financial time series prediction using a support vector regression network.	IJCNN	2008	DBLP DOI BibTeX RDF
13	Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin	VTV - A Voting Strategy for Real-Time Systems.	PRDC	2008	DBLP DOI BibTeX RDF
13	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads