4155 search results - page 272 / 831 » External Memory Algorithms |
195
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
177
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern embedded CPU systems rely on a growing number of software features, but this growth increases the memory footprint and increases the need for efficient instruction and data...
174
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— We developed an SMT processor that allows a static WCET analysis of several hard real-time threads and uses the remaining resources for soft or non real-time threads. The analy...
170
click to vote
IEEEICCI
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to associate images is the basis for learning relationships involving vision, hearing, tactile sensation, and kinetic motion. A new architecture is described that has ...
140
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
Ortholumen is a light pen based tabletop interaction system that can employ all the pen’s spatial degrees of freedom (DOF). The pen’s light is projected from above onto a hori...