2572 search results - page 233 / 515 » codes 2008 |
135
Voted
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
136
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this work we present an efficient coding scheme suitable for lossy image compression using a lattice vector quantizer (LVQ) based on statistically independent data projections...
128
Voted
SPE
2002
15 years 4 months ago
2002
D'Agents is a general-purpose mobile-agent system that has been used in several informationretrieval applications. In this paper, we first examine one such application, opera...
153
click to vote
FMOODS
2008
15 years 6 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
166
click to vote
WCET
2008
15 years 6 months ago
2008
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...