3507 search results - page 145 / 702 » Slicing for architectural analysis |
160
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
171
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
162
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
170
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
176
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks are expected to be deployed in harsh environments characterised by extremely poor and fluctuating channel conditions. With the commonly adopted single-si...