We use cookies to improve your experience with our site.
Advanced Search

New Algorithms for the Perspective-Three-Point Problem
A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines
From Concepts to Consistent Object Specifications:Translation of a Domain-Oriented Feature Framework into Practice
Dynamic Data Prefetching in Home-Based Software DSMs
A New Approach to Pointer Analysis for Assignments
A Formal Software Development Approach Using Refinement Calculus
CWA Formalizations in Multi-Valued Logics
Relaxation Algorithm of Piecing-Error for Sub-Images
A Loop-Based Apparatus for At-Speed Self-Testing
Type System in Programming Languages
Current Issue Cover