4722 search results - page 519 / 945 » Representation-independent program analysis |
179
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
218
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
202
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
197
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
147
click to vote
FPCA
1991
15 years 10 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...