8 search results - page 2 / 2 » birthday 1999 |
BIRTHDAY
1999
Springer
13 years 10 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...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
BIRTHDAY
2009
Springer
14 years 25 days ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...