6926 search results - page 1215 / 1386 » A More Effective CEFF |
127
click to vote
MSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The National Oceanic and Atmospheric Administration's (NOAA) National Environmental Satellite, Data, and Information Service (NESDIS) views the area of Archive Management, as...
188
click to vote
MTV
2003
IEEE
15 years 11 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
180
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Previous real-time disk scheduling algorithms assume that each disk request incurs a disk mechanical operation and only consider how to move the disk head under real-time constrain...
180
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
145
click to vote
VR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes an experimental investigation into the relationship of delay to user performance in 3D object placement. In the first experiment, 10 participants performed a ...