823 search results - page 41 / 165 » Model replication: transformations to address model scalabil... |
GEOINFO
2004
15 years 1 months ago
2004
In our aim to modernize geographical legacy data from the German office of geographical survey with XML languages, we first modeled the data in GML, a standard language for geograp...
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ISCA
2006
IEEE
14 years 11 months ago
2006
IEEE
: Tiled architectures, such as RAW, SmartMemories, TRIPS, and WaveScalar, promise to address several issues facing conventional processors, including complexity, wire-delay, and pe...
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper proposes the variable block-size transform and context-based entropy coding techniques for the enhancement layer of FGS (Fine Granularity Scalable) video coding. First,...