3820 search results - page 627 / 764 » Bounded Model Debugging |
119
Voted
SIBGRAPI
2007
IEEE
15 years 8 months ago
2007
IEEE
— In the reversible conversion of color images to gray ones, colors are mapped to textures and from the textures the receiver can recover the colors, i.e. one may print a color i...
101
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
88
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
109
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
128
click to vote
ESTIMEDIA
2007
Springer
15 years 8 months ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...