Sciweavers

450 search results - page 19 / 90
» codes 1999
Sort
View
SP
1999
IEEE
126views Security Privacy» more  SP 1999»
14 years 2 months ago
Flexible Policy-Directed Code Safety
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
David Evans, Andrew Twyman
ICS
1999
Tsinghua U.
14 years 2 months ago
High-level semantic optimization of numerical codes
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
Vijay Menon, Keshav Pingali
ICIP
1999
IEEE
14 years 11 months ago
Rate-Distortion Optimized Region-Based Video Coder
In this paper, we present an efficient region-based video coding scheme. The region partioning is optimized according to a rate-distortion criterion in order to achieve constant b...
Claude Labit, Stéphane Pateux
HPCN
1997
Springer
14 years 2 months ago
Evaluation of High Performance Fortran Through Application Kernels
Since the de nition of the High Performance Fortran HPF standard, we have been maintaining a suite of application kernel codes with the aim of using them to evaluate the availabl...
H. W. Yau, Geoffrey Fox, Kenneth A. Hawick
GECCO
1999
Springer
142views Optimization» more  GECCO 1999»
14 years 2 months ago
Towards Byte Code Genetic Programming
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
Brad Harvey, James A. Foster, Deborah A. Frincke