4770 search results - page 19 / 954 » Flexible Type Analysis |
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
ICONIP
2007
13 years 9 months ago
2007
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...
AR
2006
13 years 7 months ago
2006
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
MICRO
2008
IEEE
14 years 2 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...