3056 search results - page 276 / 612 » Open Implementation Analysis and Design |
223
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
158
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
200
click to vote
JEA
2008
15 years 6 months ago
2008
Suffix arrays are a simple and powerful data structure for text processing that can be used for full text indexes, data compression, and many other applications in particular in b...
208
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
188
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Automated detection of the first document reporting each new event in temporally-sequenced streams of documents is an open challenge. In this paper we propose a new approach which...