27827 search results - page 470 / 5566 » Generating |
122
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
140
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent advancements in laser and visible light sensor technology allows for the collection of photorealistic 3D scans of large scale spaces. This enables the technology to be used...
122
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
151
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
131
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...