Sciweavers

2957 search results - page 64 / 592
» Code analysis and CS-XML
Sort
View
ESOP
2006
Springer
15 years 1 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
APBC
2004
14 years 11 months ago
A Rapid Method of Whole Genome Visualisation Illustrating Features in Both Coding and Non-coding Regions
The application of Fourier analysis to a genome can be used as an indicator of gene coding regions. We have developed a visualisation of the Fourier spectra that allows convenient...
Ross Hall, Linda Stern
IPPS
2009
IEEE
15 years 4 months ago
Dynamic high-level scripting in parallel applications
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
Filippo Gioachin, Laxmikant V. Kalé
IWPC
2009
IEEE
15 years 4 months ago
Automatically identifying changes that impact code-to-design traceability
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
Maen Hammad, Michael L. Collard, Jonathan I. Malet...
ENTCS
2007
98views more  ENTCS 2007»
14 years 9 months ago
Type Systems for Optimizing Stack-based Code
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
Ando Saabas, Tarmo Uustalu