Sciweavers

632 search results - page 98 / 127
» The Basics of Performance-Monitoring Hardware
Sort
View
ACMMSP
2004
ACM
125views Hardware» more  ACMMSP 2004»
15 years 3 months ago
Improving trace cache hit rates using the sliding window fill mechanism and fill select table
As superscalar processors become increasingly wide, it is inevitable that the large set of instructions to be fetched every cycle will span multiple noncontiguous basic blocks. Th...
Muhammad Shaaban, Edward Mulrane
CAV
2004
Springer
123views Hardware» more  CAV 2004»
15 years 3 months ago
SAL 2
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
Leonardo Mendonça de Moura, Sam Owre, Haral...
EUROMICRO
2003
IEEE
15 years 3 months ago
Merging components and testing tools: The Self-Testing COTS Components (STECC) Strategy
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
Sami Beydeda, Volker Gruhn
ICMENS
2003
IEEE
105views Hardware» more  ICMENS 2003»
15 years 3 months ago
Ultrasonic/Sonic Sampler and Sensor Platform for In-Situ Planetary Exploration
The search for existing or past life in the Universe is one of the most important objectives of NASA’s mission. In support of this objective, an ultrasonic/sonic mechanism is cu...
Yoseph Bar-Cohen, Stewart Sherrit, Xiaoqi Bao, Zen...
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
15 years 3 months ago
Automatic locomotion pattern generation for modular robots
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida,...