An Algorithm for Optimal Logic Design Using Multiplexers
IEEE Transactions on Computers
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scaling up: a research agenda for software engineering
Communications of the ACM
A Linear Algorithm for Generating Random Numbers with a Given Distribution
IEEE Transactions on Software Engineering
The performance of three database storage structures for managing large objects
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
An algorithm with linear complexity for interactive, physically-based modeling of large proteins
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Precise computation using range arithmetic, via C++
ACM Transactions on Mathematical Software (TOMS)
A modulus oriented hash function for the construction of minimal perfect tables
ACM SIGPLAN Notices
A set of programming projects for a second programming course
ACM SIGCSE Bulletin
Algorithm 719: Multiprecision translation and execution of FORTRAN programs
ACM Transactions on Mathematical Software (TOMS)
Routability-driven fanout optimization
DAC '93 Proceedings of the 30th international Design Automation Conference
Cryptographic defense against traffic analysis
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Evaluating models of memory allocation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
LH*—a scalable, distributed data structure
ACM Transactions on Database Systems (TODS)
A sequence of series for the Lambert W function
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Practical integer division with Karatsuba complexity
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Approximate graph coloring by semidefinite programming
Journal of the ACM (JACM)
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
IEEE Transactions on Software Engineering
Snowball: Scalable Storage on Networks of Workstations with Balanced Load
Distributed and Parallel Databases
Macro-Star Networks: Efficient Low-Degree Alternatives to Star Graphs
IEEE Transactions on Parallel and Distributed Systems
On the crossing distribution problem
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Parallel streams of linear random numbers in the spectral test
ACM Transactions on Modeling and Computer Simulation (TOMACS)
An O-tree representation of non-slicing floorplan and its applications
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
A list-based storage for personal databases
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Extendible hashing—a fast access method for dynamic files
ACM Transactions on Database Systems (TODS)
File Assignment in Parallel I/O Systems with Minimal Variance of Service Time
IEEE Transactions on Computers
Comparison of synonym handling and bucket organization methods
Communications of the ACM
Communications of the ACM
Optimizing static calendar queues
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Programming languages, natural languages, and mathematics
Communications of the ACM
Evaluation and selection of file organization—a model and system
Communications of the ACM
On evaluating self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Communications of the ACM - Special issue on computer augmented environments: back to the real world
FFT-like multiplication of linear differential operators
Journal of Symbolic Computation
Hierarchical VLSI design systems based on attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Tunable reliable multicast for periodic information dissemination
Mobile Networks and Applications
Computational Discrete Mathematics
Apoo: an environment for a first course in assembly language programming
ACM SIGCSE Bulletin
Performance analysis of a constrained resource sharing system
Queueing Systems: Theory and Applications
Bingo pricing: a game simulation and evaluation using APL
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
Open Systems and Consciousness. A Physical Discussion
Open Systems & Information Dynamics
On computing the diameter of a point set in high dimensional Euclidean space
Theoretical Computer Science
IEEE/ACM Transactions on Networking (TON)
The Query Clustering Problem: A Set Partitioning Approach
IEEE Transactions on Knowledge and Data Engineering
Database Management with Sequence Trees and Tokens
IEEE Transactions on Knowledge and Data Engineering
Criss-Cross Hash Joins: Design and Analysis
IEEE Transactions on Knowledge and Data Engineering
The first return time test of pseudorandom numbers
Journal of Computational and Applied Mathematics
Real computations with fake numbers
Journal of Complexity
Wide-Sense Nonblocking Clos Networks under Packing Strategy
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Design and Analysis of Fast Provably Secure Public-Key Cryptosystems Based on a Modular Squaring
ICISC '01 Proceedings of the 4th International Conference Seoul on Information Security and Cryptology
Bidirectional Estimation and Confidence Regions for TES Processes
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Binary Space Partitions in Plücker Space
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
A Switching Closure Test to Analyze Cryptosystems
CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology
An Efficient Digital Signature Scheme Based on an Elliptic Curve Over the Ring Zn
CRYPTO '92 Proceedings of the 12th Annual International Cryptology Conference on Advances in Cryptology
Resistance against Differential Power Analysis for Elliptic Curve Cryptosystems
CHES '99 Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems
Even Better DCAS-Based Concurrent Deques
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Fast Key Exchange with Elliptic Curve Systems
CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
IEEE Transactions on Computers
Computing in Science and Engineering
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
The mimola design system: Tools for the design of digital processors
DAC '84 Proceedings of the 21st Design Automation Conference
A constructive method for building fuzzy rule-based systems
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Multidimensional corporate analysis: analytical and graphical approaches
Proceedings of the 2003 conference on APL: stretching the mind
Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
Event-driven molecular dynamics in parallel
Journal of Computational Physics
Producing all ideals of a forest, functionally
Journal of Functional Programming
On the Computational Complexity of Consumer Decision Rules
Computational Economics
ACM SIGCSE Bulletin
Do senior CS students capitalize on recursion?
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Chebyshev polynomials over finite fields and reversibility of σ-automata on square grids
Theoretical Computer Science
Concentration of Size and Path Length of Tries
Combinatorics, Probability and Computing
Postmodern Software Development
IEEE Internet Computing
A discussion and implementation of Brown's REX simplification algorithm
ACM SIGSAM Bulletin
Speciation in the computing sciences: digital forensics as an emerging academic discipline
InfoSecCD '05 Proceedings of the 2nd annual conference on Information security curriculum development
Generating the Peano curve and counting occurrences of some patterns
Journal of Automata, Languages and Combinatorics
Extracting key-substring-group features for text classification
Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining
A dynamic-sized nonblocking work stealing deque
Distributed Computing - Special issue: DISC 04
Derivation and Analysis of Basic Computational Operations of Thalamocortical Circuits
Journal of Cognitive Neuroscience
How to wring a table dry: entropy compression of relations and querying of compressed relations
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A defect tolerant self-organizing nanoscale SIMD architecture
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Detecting distributed scans using high-performance query-driven visualization
Proceedings of the 2006 ACM/IEEE conference on Supercomputing
A stochastic model for the throughput of non-persistent TCP flows
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
A heuristic for the Stacker Crane Problem on trees which is almost surely exact
Journal of Algorithms
Indexing the aperture 3 hexagonal discrete global grid
Journal of Visual Communication and Image Representation
Pep8CPU: a programmable simulator for a central processing unit
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Measuring similarity between transliterations against noise data
ACM Transactions on Asian Language Information Processing (TALIP)
Structured programming with go to statements
Classics in software engineering
A self-organizing defect tolerant SIMD architecture
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Hierarchical classification for automatic image annotation
SIGIR '07 Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Onset detection in surface electromyographic signals: a systematic comparison of methods
EURASIP Journal on Applied Signal Processing
Parallel Itoh---Tsujii multiplicative inversion algorithm for a special class of trinomials
Designs, Codes and Cryptography
On the accuracy of decentralized virtual coordinate systems in adversarial networks
Proceedings of the 14th ACM conference on Computer and communications security
The cost of offline binary search tree algorithms and the complexity of the request sequence
Theoretical Computer Science
A dynamic mechanism for determining relationships in a partially ordered user hierarchy
International Journal of High Performance Computing and Networking
Cryptanalysis of an elliptic curve cryptosystem for wireless sensor networks
International Journal of Security and Networks
Cache-oblivious databases: Limitations and opportunities
ACM Transactions on Database Systems (TODS)
Fast Quadruple Precision Arithmetic Library on Parallel Computer SR11000/J2
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Fast Point Multiplication on Elliptic Curves without Precomputation
WAIFI '08 Proceedings of the 2nd international workshop on Arithmetic of Finite Fields
ACM Transactions on Computational Logic (TOCL)
Fault tolerant nano-memory with fault secure encoder and decoder
Proceedings of the 2nd international conference on Nano-Networks
Ensemble Engineering and Emergence
Software-Intensive Systems and New Computing Paradigms
A polyhedron representation for computer vision
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Accuracy constraint determination in fixed-point system design
EURASIP Journal on Embedded Systems - Reconfigurable Computing and Hardware/Software Codesign
IEEE/ACM Transactions on Networking (TON)
Assembling approximately optimal binary search trees efficiently using arithmetics
Information Processing Letters
Polynomial pseudo-random number generator via cyclic phase
Mathematics and Computers in Simulation
Matching graphs of hypercubes and complete bipartite graphs
European Journal of Combinatorics
Random Order m-ary Exponentiation
ACISP '09 Proceedings of the 14th Australasian Conference on Information Security and Privacy
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
IBM Systems Journal
Sorting improves word-aligned bitmap indexes
Data & Knowledge Engineering
Model for interactive data base reference string
IBM Journal of Research and Development
Pattern Matching for 321-Avoiding Permutations
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
A locality aware cache diffusion system
The Journal of Supercomputing
Crossing number of graphs with rotation systems
GD'07 Proceedings of the 15th international conference on Graph drawing
Application of bio-inspired algorithm to the problem of integer factorisation
International Journal of Bio-Inspired Computation
ICICS'09 Proceedings of the 7th international conference on Information, communications and signal processing
Proceedings of the 9th annual ACM workshop on Privacy in the electronic society
Robust Decentralized Virtual Coordinate Systems in Adversarial Environments
ACM Transactions on Information and System Security (TISSEC)
Numeration systems: a link between number theory and formal language theory
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Estimation of the maximum domination value in multi-dimensional data sets
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
On detecting clustered anomalies using SCiForest
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II
SPIRE'10 Proceedings of the 17th international conference on String processing and information retrieval
Hybrid semantic analysis system - ATIS data evaluation
ADMA'10 Proceedings of the 6th international conference on Advanced data mining and applications - Volume Part II
Tight bounds for online stable sorting
Journal of Discrete Algorithms
A forward authentication key management scheme for heterogeneous sensor networks
EURASIP Journal on Wireless Communications and Networking - Special issue on security and resilience for smart devices and applications
The optimality of the online greedy algorithm in carpool and chairman assignment problems
ACM Transactions on Algorithms (TALG)
Performance prediction of a parallel Monte Carlo application: a neural network approach
EC'05 Proceedings of the 6th WSEAS international conference on Evolutionary computing
External memory breadth-first search with delayed duplicate detection on the GPU
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
An empirical evaluation of extendible arrays
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
Programming from galois connections
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Indented pixel tree browser for exploring huge hierarchies
ISVC'11 Proceedings of the 7th international conference on Advances in visual computing - Volume Part I
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
A cost optimal parallel quicksorting and its implementation on a shared memory parallel computer
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
A neural network based methodology for performance evaluation of parallel systems
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Hash functions for datatype signatures in MPI
PVM/MPI'05 Proceedings of the 12th European PVM/MPI users' group conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Data driven approaches to speech and language processing
Nonlinear Speech Modeling and Applications
Theoretical Computer Science
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Retinal image matching using hierarchical vascular features
Computational Intelligence and Neuroscience - Special issue on Selected Papers from the 4th International Conference on Bioinspired Systems and Cognitive Signal Processing
Speeding up the counting method by computing heritage functions in topological order
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Computer generation of streaming sorting networks
Proceedings of the 49th Annual Design Automation Conference
Memoryless near-collisions, revisited
Information Processing Letters
International Journal of Knowledge-Based Organizations
| Hi-index | 0.10 |