4880 search results - page 240 / 976 » Manuals as Structured Programs |
136
click to vote
JIB
2007
15 years 4 months ago
2007
In order to improve the accessibility of genomic and proteomic information to medical researchers, we have developed a procedure to link biological information on proteins involve...
126
click to vote
ENTER
2009
Springer
15 years 2 months ago
2009
Springer
High quality product data is a necessary prerequisite for supporting efficient browsing and recommendation procedures on e-commerce platforms. This is especially true for the tour...
136
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
147
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...
137
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...