3507 search results - page 359 / 702 » Slicing for architectural analysis |
161
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
177
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
I present analysis examining some of the causes of poor connectivity in developing countries. Based on a technoeconomic analysis and design, I show that technical limitations per ...
199
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Future embedded systems are expected to use chip-multiprocessors to provide the execution power for increasingly demanding applications. Multiprocessors increase the pressure on th...
137
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
In our camera based user interface, user inputs Chinese characters by moving fingertip with his/her fingers. Therefore, we call those characters “finger– written Chinese chara...