4719 search results - page 801 / 944 » Newtonian program analysis |
163
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...
133
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
136
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
141
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
132
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...