450 search results - page 31 / 90 » codes 1999 |
98
Voted
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
128
Voted
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
This paper highlights recent advancesin image compression aided by 3-D geometry information. As two examples, we present a model-aided video coder for efficient compression of hea...
141
Voted
BIRTHDAY
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
135
Voted
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
102
Voted
ACSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
JavaTM security technology originally focused on creating a safe environment in which to run potentially untrusted code downloaded from the public network. With the latest release...