36320 search results - page 298 / 7264 » From Code to Models |
152
click to vote
ICS
2005
Tsinghua U.
16 years 4 days ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
179
click to vote
IFM
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
219
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
315
click to vote
OOPSLA
2004
Springer
16 years 16 min ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
157
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
A computer worm is an autonomous malicious, selfreplicating and propagating piece of code that is able to spread fast in computer networks, exploiting the vulnerabilities it disco...