Sciweavers

314 search results - page 8 / 63
» Resource control of object-oriented programs
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
13 years 9 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
OOPSLA
2007
Springer
14 years 3 months ago
Inferring aliasing and encapsulation properties for java
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
Kin-Keung Ma, Jeffrey S. Foster
IEE
2002
113views more  IEE 2002»
13 years 9 months ago
Framework based on design patterns for providing persistence in object-oriented programming languages
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
Jörg Kienzle, Alexander B. Romanovsky
ECOOP
1999
Springer
14 years 2 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii
MA
1999
Springer
96views Communications» more  MA 1999»
14 years 2 months ago
CPU Resource Control for Mobile Programs
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efï...
Raju Pandey, Manoj Lal