1338 search results - page 111 / 268 » Consistent Code Generation from UML Models |
129
click to vote
ICML
2001
IEEE
16 years 3 months ago
2001
IEEE
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
151
click to vote
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
105
click to vote
ICIP
2004
IEEE
16 years 4 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,...
124
click to vote
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
122
click to vote
JCNS
2000
15 years 2 months ago
2000
The phase relationship between the activity of hippocampal place cells and the hippocampal theta rhythm systematically precesses as the animal runs through the region in an environ...