Sciweavers

2451 search results - page 281 / 491
» Alternative Test Methods Using IEEE 1149.4
Sort
View
ICCAD
2002
IEEE
152views Hardware» more  ICCAD 2002»
16 years 29 days ago
Efficient instruction encoding for automatic instruction set design of configurable ASIPs
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
Jong-eun Lee, Kiyoung Choi, Nikil Dutt
KBSE
2008
IEEE
15 years 10 months ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
15 years 10 months ago
Policies based on Trajectory Libraries
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
Martin Stolle, Christopher G. Atkeson
BIBE
2005
IEEE
116views Bioinformatics» more  BIBE 2005»
15 years 9 months ago
Stochastic Model of Protease-Ligand Reactions
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
Paul E. Anderson, Douglas W. Raiford, Deacon J. Sw...
3DPVT
2002
IEEE
139views Visualization» more  3DPVT 2002»
15 years 9 months ago
Focal Region-Guided Feature-Based Volume Rendering
In this paper we advocate the use of a focal regionguided feature-based volume renderer that offers an alternative for visualization of internal structures of volumetric data. We ...
Jianlong Zhou, Manfred Hinz, Klaus D. Tönnies