12084 search results - page 2137 / 2417 » Effect Systems with Subtyping |
124
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
142
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes a 3D SLAM system using information from an actuated laser scanner and camera installed on a mobile robot.The laser samples the local geometry of the enviro...
153
click to vote
IISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
— As CMPs are emerging as the dominant architecture for a wide range of platforms (from embedded systems and game consoles, to PCs, and to servers) the need to manage on-chip res...
143
Voted
IISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
— As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...
144
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce virtually-pipelined memory, an architectural technique that efficiently supports high-bandwidth, uniform latency memory accesses, and high-confidence throughput eve...