5506 search results - page 735 / 1102 » Minimal Logic Programs |
288
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
190
click to vote
LCPC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
214
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
193
Voted
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
168
Voted
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Image registration is the process of geometrically aligning two or more images. In this paper we describe a method for registering pairs of images based on thin-plate spline mappi...