2060 search results - page 248 / 412 » Some Applications of Coding Theory in Computational Complexi... |
147
click to vote
ENTCS
2010
14 years 11 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
176
click to vote
DEDS
2000
15 years 4 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
138
click to vote
IH
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
137
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
108
Voted
APGV
2009
ACM
15 years 11 months ago
2009
ACM
Popping is a major source of visual artifacts in dynamic scenes. To alleviate or avoid it, usually some temporal smoothing scheme is employed or levels of detail are chosen conser...