476 search results - page 62 / 96 » Static analysis of PostScript code |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
SOSP
1997
ACM
13 years 9 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
Depth from triangulation has traditionally been treated in a number of separate threads in the computer vision literature, with methods like stereo, laser scanning, and coded stru...