4716 search results - page 168 / 944 » Iterative-free program analysis |
145
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
113
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
107
click to vote
ICPP
1999
IEEE
15 years 6 months ago
1999
IEEE
Most of today's multiprocessors have a DistributedShared Memory (DSM) organization, which enables scalability while retaining the convenience of the shared-memory programming...
91
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
142
click to vote
AB
2008
Springer
15 years 9 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...