2621 search results - page 366 / 525 » Near orders and codes |
150
Voted
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
170
Voted
PCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many techniques make great contributions to video compression with removal of spatial and temporal redundancy in and between frames. However, compressed video is still ra...
169
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
146
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
169
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...