4770 search results - page 389 / 954 » Flexible Type Analysis |
249
click to vote
ICMCS
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
192
click to vote
RSP
2008
IEEE
16 years 2 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
186
click to vote
TOOLS
2008
IEEE
16 years 2 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
172
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
294
click to vote
ESCIENCE
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...