1852 search results - page 210 / 371 » Block-level link analysis |
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— In many scenarios the commonly assumed symmetry in multiple relay channels is unrealistic. Therefore, this paper, through analytical and simulation efforts, investigate...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— We study the motion planning problem for planar star-shaped manipulators. These manipulators are formed by joining k “legs” to a common point (like the thorax of an insect)...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...