Software development: advice by analogy
ACM SIGSOFT Software Engineering Notes
A philosophy for scientific computing tools
ACM SIGNUM Newsletter
High productivity techniques for large APL system
APL '89 Conference proceedings on APL as a tool of thought
Functional programming: executable specifications and program transformations
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software (TOMS)
Logarithmic time cost optimal parallel sorting is not yet fast in practice!
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Design methodology of boundary data structures
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Analyzing algorithms by simulation: variance reduction techniques and simulation speedups
ACM Computing Surveys (CSUR)
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
An efficient representation for sparse sets
ACM Letters on Programming Languages and Systems (LOPLAS)
An analysis of algorithms laboratory utilizing the maximum segment sum problem
ACM SIGCSE Bulletin
A comparative analysis of schemes for correlated branch prediction
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Content + experiences = curriculum
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Software reliability via run-time result-checking
Journal of the ACM (JACM)
The concept of dynamic analysis
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
Design and analysis of algorithms reconsidered
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Mining and visualizing recommendation spaces for elliptic PDEs with continuous attributes
ACM Transactions on Mathematical Software (TOMS) - Special issue in honor of John Rice's 65th birthday
A system for program visualization and problem-solving path assessment of novice programmers
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Striving for mathematical thinking
ACM SIGCSE Bulletin
Automated Software Engineering
Journal of Computer and System Sciences - Computational biology 2002
Towards a Modular Program Derivation via Fusion and Tupling
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
WABI '02 Proceedings of the Second International Workshop on Algorithms in Bioinformatics
Binomial coefficient computation: recursion or iteration?
ACM SIGCSE Bulletin
Mining and visualizing recommendation spaces for PDE solvers: the continuous attributes case
Computational science, mathematics and software
Visualizing code profiling line oriented statistics
VIS '92 Proceedings of the 3rd conference on Visualization '92
Information analysis in UML and ORM: a comparison
Advanced topics in database research vol. 1
Writing efficient programs: performance issues in an undergraduate CS curriculum
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Efficient transitive closure of sparse matrices over closed semirings
Theoretical Computer Science - Algebraic methods in language processing
Efficiency issues for ray tracing
SIGGRAPH '05 ACM SIGGRAPH 2005 Courses
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Finding the maximum subsequence sum on interconnection networks
International Journal of Parallel, Emergent and Distributed Systems
Embedded typesafe domain specific languages for Java
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Multi-key binary search and the related performance
MATH'08 Proceedings of the American Conference on Applied Mathematics
Information and Software Technology
How Efficient Can Memory Checking Be?
TCC '09 Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Efficient pattern detection in extremely resource-constrained devices
SECON'09 Proceedings of the 6th Annual IEEE communications society conference on Sensor, Mesh and Ad Hoc Communications and Networks
Reducing reverse-mode memory requirements by using profile-driven checkpointing
Future Generation Computer Systems
Dynamic resource allocation with limited feedback for OFDM based cooperative networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
A BSP/CGM algorithm for finding all maximal contiguous subsequences of a sequence of numbers
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
An algorithm for a generalized maximum subsequence problem
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
A verified library of algorithmic skeletons on evenly distributed arrays
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Hi-index | 0.00 |