6719 search results - page 1007 / 1344 » A Generalization of Automatic Sequences |
193
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
200
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
196
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need ...
183
Voted
FCCM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
190
click to vote
GLVLSI
2009
IEEE
16 years 2 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...