6960 search results - page 1247 / 1392 » Continuity Analysis of Programs |
121
click to vote
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
154
Voted
BIBE
2007
IEEE
15 years 9 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...
122
click to vote
CGO
2007
IEEE
15 years 9 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 ...
128
click to vote
CODES
2007
IEEE
15 years 9 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...
132
click to vote
CSMR
2007
IEEE
15 years 9 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 ...