Increasing robustness in global adaptive quadrature through interval selection heuristics
ACM Transactions on Mathematical Software (TOMS)
Design and implementation of a very small linear algebra program package
Communications of the ACM - Special section on computer architecture
A review of recent developments in solving ODEs
ACM Computing Surveys (CSUR) - Annals of discrete mathematics, 24
Applications of a software interconnection system in mathematical problem solving environments
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
ACM Transactions on Graphics (TOG)
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Using latent semantic analysis to improve access to textual information
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Information retrieval using a singular value decomposition model of latent semantic structure
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Curve-to-curve associations in spline-based inbetweening and sweeping
SIGGRAPH '89 Proceedings of the 16th annual conference on Computer graphics and interactive techniques
Coloring heuristics for register allocation
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Estimating the Reliability of Regeneration-Based Replica Control Protocols
IEEE Transactions on Computers
Curved surfaces and coherence for non-penetrating rigid body simulation
SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques
Dynamic simulation of autonomous legged locomotion
SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques
How accurate should numerical routines be?
ACM SIGNUM Newsletter
The role of computer software in numerical analysis teaching
ACM SIGNUM Newsletter
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Hybrid symbolic-numeric integration in MAPLE
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An approach for floating-point error analysis using computer algebra
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
A survey of image registration techniques
ACM Computing Surveys (CSUR)
Improvements to graph coloring register allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective partial redundancy elimination
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Teaching a modern numerical analysis course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A simple graph-based intermediate representation
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Global code motion/global value numbering
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Algorithm 627: A FORTRAN subroutine for solving Volterra integral equations
ACM Transactions on Mathematical Software (TOMS)
A class of numerical integration rules with first order derivatives
ACM SIGNUM Newsletter
Economic forecasting by the deterministic-adaptive method
APL '96 Proceedings of the conference on Designing the future
tcc: a system for fast, flexible, and high-level dynamic code generation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Planning Models for Software Reliability and Cost
IEEE Transactions on Software Engineering
A rejection technique for sampling from log-concave multivariate distributions
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Scalable feedback for large groups
IEEE/ACM Transactions on Networking (TON)
Optimizing for reduced code space using genetic algorithms
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
C and tcc: a language and compiler for dynamic code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An experiment in medical information retrieval
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Comparison of Algorithms for Solving Symmetric Indefinite Systems of Linear Equations
ACM Transactions on Mathematical Software (TOMS)
A Note About Overhead Costs in ODE Solvers
ACM Transactions on Mathematical Software (TOMS)
Double Integration Using One-Dimensional Adaptive Quadrature Routines: A Software Interface Problem
ACM Transactions on Mathematical Software (TOMS)
A new efficient method for substrate-aware device-level placement (short paper)
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Proceedings of the 2001 ACM symposium on Applied computing
Parallel processing: a smart compiler and a dumb machine
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Fast copy coalescing and live-range identification
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Some comments on numerical reliability
ACM SIGAPL APL Quote Quad
The use of domain knowledge in program understanding
Annals of Software Engineering
Sorting-Based Calculation of Zeros and Extrema of Functions as Applied to Search and Recognition. II
Cybernetics and Systems Analysis
Grasping of Static and Moving Objects Using a Vision-Based Control Approach
Journal of Intelligent and Robotic Systems
Experiments with Curvature-Continuous Patch-Boundary Fitting
IEEE Computer Graphics and Applications
Recognizing Design Decisions in Programs
IEEE Software
Concurrent Error Detection Using Watchdog Processors-A Survey
IEEE Transactions on Computers
An improved computation of component centers in the degree-n bifurcation set
The Korean Journal of Computational & Applied Mathematics
Collaborative Case-Based Recommender Systems
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Fault tolerant matrix operations using checksum and reverse computation
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
ANSS '81 Proceedings of the 14th annual symposium on Simulation
A simulation model for aged and disabled services
WSC '84 Proceedings of the 16th conference on Winter simulation
Exploiting fast hardware floating point in high precision computation
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Limited Access Testing of Analog Circuits: Handling Tolerances
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Connectionist models for approximate solutions of non-linear equations in one variable
Neural, Parallel & Scientific Computations
The influence of semantics in IR using LSI and K-means clustering techniques
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
A trust-region-approach for solving a parameter estimation problem from the biotechnology area
Applied Numerical Mathematics - Special issue on applied and computational mathematics: Selected papers of the fourth PanAmerican workshop
An experimental evaluation of scalar replacement on scientific benchmarks
Software—Practice & Experience
Parallel processing: a smart compiler and a dumb machine
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Coloring heuristics for register allocation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
More accurate tests for the statistical significance of result differences
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Finding effective compilation sequences
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Model-Driven Reverse Engineering
IEEE Software
ASAP3: a batch means procedure for steady-state simulation analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Numerical computations: its nature and research directions
ACM SIGNUM Newsletter
The microcomputer as a tool in numerical analysis
ACM SIGNUM Newsletter
BRAID: stream mining through group lag correlations
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Journal of Computational and Applied Mathematics
Journal of Computing Sciences in Colleges
Software engineering frontiers in computational science and engineering
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Exploring the structure of the space of compilation sequences using randomized search algorithms
The Journal of Supercomputing
Transformation model estimation of image registration via least square support vector machines
Pattern Recognition Letters
Joint optical flow estimation, segmentation, and 3D interpretation with level sets
Computer Vision and Image Understanding
IEEE Transactions on Pattern Analysis and Machine Intelligence
Reweighted kernel density estimation
Computational Statistics & Data Analysis
Spectrum sharing for directional systems
TAPAS '06 Proceedings of the first international workshop on Technology and policy for accessing spectrum
Computational Statistics & Data Analysis
Sorting-based localization and stable computation of zeros of a polynomial. I
Cybernetics and Systems Analysis
Sorting-based localization and stable computation of zeros of a polynomial. II
Cybernetics and Systems Analysis
Direct visibility of point sets
ACM SIGGRAPH 2007 papers
Knowledge-based localization of hippocampus in human brain MRI
Computers in Biology and Medicine
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems
IEEE Transactions on Computers
A visualization testbed for analyzing the performance of computational linguistics algorithms
Information Visualization
Numerical solution of an industrial robot arm control problem using the RK Butcher algorithm
International Journal of Computer Applications in Technology
Methods of perturbations in quadratic problems of optimal control
Automation and Remote Control
Stabilization of the Acrobot via multiple sliding surface control
IMCAS'07 Proceedings of the 6th WSEAS International Conference on Instrumentation, Measurement, Circuits and Systems
Fuzzy Optimization and Decision Making
Models and framework for supporting runtime decisions in Web-based systems
ACM Transactions on the Web (TWEB)
An economic model to compare the profitability of pay-per-use and fixed-fee licensing
Information and Software Technology
A soft MAP framework for blind super-resolution image reconstruction
Image and Vision Computing
Cybernetics and Systems Analysis
Cybernetics and Systems Analysis
Border estimation of a disc observed with random errors solved in two steps
Journal of Computational and Applied Mathematics
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Initial classification of joint data in EM estimation of latent class joint model
Journal of Multivariate Analysis
Fluctuationlessness theorem to approximate univariate functions' matrix representations
WSEAS Transactions on Mathematics
Program-algorithmic methods to improve the accuracy of computer solutions
Cybernetics and Systems Analysis
Energy efficient and delay optimized TDMA scheduling for clustered wireless sensor networks
WCNC'09 Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference
Journal of Computational and Applied Mathematics
Finding an optimal interval length in high order fuzzy time series
Expert Systems with Applications: An International Journal
Information Sciences: an International Journal
Increasing the Reliability of Adaptive Quadrature Using Explicit Interpolants
ACM Transactions on Mathematical Software (TOMS)
SemEval '10 Proceedings of the 5th International Workshop on Semantic Evaluation
Estimating parallel performance, a skeleton-based approach
Proceedings of the fourth international workshop on High-level parallel programming and applications
Fast Discovery of Group Lag Correlations in Streams
ACM Transactions on Knowledge Discovery from Data (TKDD)
Mathematics and Computers in Simulation
Computer solution of the fundamental elimination problem
Cybernetics and Systems Analysis
A new approach based on the optimization of the length of intervals in fuzzy time series
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Per-station throughput fairness in a WLAN hot-spot with TCP traffic
Computer Networks: The International Journal of Computer and Telecommunications Networking
Efficiently exploring compiler optimization sequences with pairwise pruning
Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era
Rounding coefficients and artificially underflowing terms in non-numeric expressions
ACM Communications in Computer Algebra
Fixed-Distortion orthogonal dirty paper coding for perceptual still image watermarking
IH'04 Proceedings of the 6th international conference on Information Hiding
A game-theoretic approach to weighted majority voting for combining SVM classifiers
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part I
High performance matrix inversion based on LU factorization for multicore architectures
Proceedings of the 2011 ACM international workshop on Many task computing on grids and supercomputers
Information Processing and Management: an International Journal
Two algorithms for motion estimation from alternate exposure images
Proceedings of the 2010 international conference on Video Processing and Computational Video
The use of simple solutions in the regularization of hypersingular boundary integral equations
Mathematical and Computer Modelling: An International Journal
Numerical accuracy of statistical algorithms for microcomputers
Computational Statistics & Data Analysis
Assessment of fisher and logistic linear and quadratic discrimination models
Computational Statistics & Data Analysis
Tikhonov---Phillips regularization with operator dependent seminorms
Numerical Algorithms
A review of error estimation in adaptive quadrature
ACM Computing Surveys (CSUR)
On the Heston Model with Stochastic Interest Rates
SIAM Journal on Financial Mathematics
A modification of the Lloyd algorithm for k-anonymous quantization
Information Sciences: an International Journal
Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest
Journal of Computational and Applied Mathematics
Estimation of missing precipitation records using modular artificial neural networks
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part IV
Estimating parallel performance
Journal of Parallel and Distributed Computing
Fast parametric curves detection based on statistical hypotheses estimation
Pattern Recognition and Image Analysis
| Hi-index | 0.01 |