High performance parallel and distributed computation in compositional CC++
ACM SIGAPP Applied Computing Review
A model C++ tree iterator class for binary search trees
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Design issues in computer science education
ACM SIGCSE Bulletin
Designing a data structure for polyhedral surfaces
Proceedings of the fourteenth annual symposium on Computational geometry
The construction of a retargetable simulator for an architecture template
Proceedings of the 6th international workshop on Hardware/software codesign
Web labs for the Standard Template Library and the Java generic library in a CS2 course
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Components and generative programming (invited paper)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
An efficient, exact, and generic quadratic programming solver for geometric optimization
Proceedings of the sixteenth annual symposium on Computational geometry
Towards a graphical notation to express the C++ template instantiation process (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
A system for predictable component-based software construction
High integrity software
Component Specifications for Robotics Integration
Autonomous Robots
A framework approach to teaching data structures
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
IEEE Transactions on Visualization and Computer Graphics
EPL-Julia the High-Performance Library for Evolutionary Computations
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
LOGOS: A Computational Framework for Neuroinformatics Research
SSDBM '97 Proceedings of the Ninth International Conference on Scientific and Statistical Database Management
Exploring Template Template Parameters
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Theory and Generality of Complete Traversals
Selected Papers from the International Seminar on Generic Programming
Language Independent Container Specification
Selected Papers from the International Seminar on Generic Programming
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Standard Templates Adaptive Parallel Library (STAPL)
LCR '98 Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A comparative evaluation of generic programming in Java and C++
Software—Practice & Experience
Visualization in algorithm engineering: tools and techniques
Experimental algorithmics
API documentation with executable examples
Journal of Systems and Software
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
A case for OO -- Java -- in teaching algorithm analysis
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
A framework for designing and implementing the Ada standard container library
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Components-first approaches to CS1/CS2: principles and practice
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Rapid performance prediction for library components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Reusing simulation components: cost: a component-oriented discrete event simulator
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
XVCL: a mechanism for handling variants in software product lines
Science of Computer Programming - Special issue: Software variability management
Beyond templates: a study of clones in the STL and some general implications
Proceedings of the 27th international conference on Software engineering
A framework for adaptive algorithm selection in STAPL
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Teaching software development skills early in the Curriculum through software engineering
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Object-oriented algorithm analysis and design with Java
Science of Computer Programming - Special issue on principles and practice of programming in java (PPPJ 2003)
International Journal of High Performance Computing Applications
Parametric polymorphism for software component architectures
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Kalchas: a dynamic XML search engine
Proceedings of the 14th ACM international conference on Information and knowledge management
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Constraint Programming Approach to Extract the Maximum Number of Non-Overlapping Test Forms
Computational Optimization and Applications
STLlint: lifting static checking from languages to libraries
Software—Practice & Experience
Dynamic instantiation-checking components
Proceedings of the 2006 ACM symposium on Applied computing
A technique for generic iteration and its optimization
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Towards an automatic complexity analysis for generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
A mesh refinement library based on generic design
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Framework design using function generalization: a binary tree traversal case study
Proceedings of the 44th annual Southeast regional conference
Lifting a butterfly - A component-based FFT
Scientific Programming - POOSC '01 Workshop
Systematic intermediate sequence removal for reduced memory accesses
SCOPES '07 Proceedingsof the 10th international workshop on Software & compilers for embedded systems
Representation-transparent matrix algorithms with scalable performance
Proceedings of the 21st annual international conference on Supercomputing
Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography
Proceedings of the 2007 international workshop on Parallel symbolic computation
Algorithm 871: A C/C++ precompiler for autogeneration of multiprecision programs
ACM Transactions on Mathematical Software (TOMS)
MEDEA '07 Proceedings of the 2007 workshop on MEmory performance: DEaling with Applications, systems and architecture
Software thread-level speculation: an optimistic library implementation
Proceedings of the 1st international workshop on Multicore software engineering
Deque-Free Work-Optimal Parallel STL Algorithms
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Associative Parallel Containers in STAPL
Languages and Compilers for Parallel Computing
Efficient data structures for sparse network representation
International Journal of Computer Mathematics - COMPLEX NETWORKS
An integrated, generic approach to pattern mining: data mining template library
Data Mining and Knowledge Discovery
Design for Interoperability in stapl: pMatrices and Linear Algebra Algorithms
Languages and Compilers for Parallel Computing
The hidden injuries of overloading 'ADT'
Proceedings of the 40th ACM technical symposium on Computer science education
Traditional assignment considered harmful
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Termination checking without using an ordering relation
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Charles: a data structure library for Ada95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A quality model for the Ada standard container library
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
STAPL: an adaptive, generic parallel C++ library
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Comparing approaches to generic programming in Haskell
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Accelerating the neighbor-joining algorithm using the adaptive bucket data structure
ISBRA'08 Proceedings of the 4th international conference on Bioinformatics research and applications
STAPL: standard template adaptive parallel library
Proceedings of the 3rd Annual Haifa Experimental Systems Conference
An architecture for generic extensions
Science of Computer Programming
The STAPL parallel container framework
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
LCPC'10 Proceedings of the 23rd international conference on Languages and compilers for parallel computing
ConceptClang: an implementation of C++ concepts in Clang
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
A MOF-compliant approach to software quality modeling
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Sorting out the relationships between pairs of iterators, values, and references
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
A study of new path planning algorithm using extended a* algorithm with survivability
ICIRA'12 Proceedings of the 5th international conference on Intelligent Robotics and Applications - Volume Part III
Self-adaptive containers: building resource-efficient applications with low programmer overhead
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
SGEMS-UQ: An uncertainty quantification toolkit for SGEMS
Computers & Geosciences
Hi-index | 0.00 |