Sciweavers

5904 search results - page 427 / 1181
» Requirements for a Composition Language
Sort
View
ARITH
2003
IEEE
16 years 8 days ago
High-Radix Iterative Algorithm for Powering Computation
A high-radix composite algorithm for the computation of the powering function (¤¦¥ ) is presented in this paper. The algorithm consists of a sequence of overlapped operations: ...
José-Alejandro Piñeiro, Milos D. Erc...
ITC
2003
IEEE
125views Hardware» more  ITC 2003»
16 years 8 days ago
Progressive Bridge Identification
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
Thomas J. Vogels, Wojciech Maly, R. D. (Shawn) Bla...
CSFW
2002
IEEE
15 years 12 months ago
Information Flow Security in Dynamic Contexts
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
Riccardo Focardi, Sabina Rossi
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
15 years 12 months ago
On-Line Terrain Parameter Estimation for Planetary Rovers
Future planetary exploration missions will require rovers to traverse very rough terrain with limited human supervision. Wheel-terrain interaction plays a critical role in rough-t...
Karl Iagnemma, Hassan Shibly, Steven Dubowsky
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 12 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng