Sciweavers

3971 search results - page 84 / 795
» On the Use of Properties in Java Applications
Sort
View
152
Voted
ESOP
2010
Springer
16 years 1 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
130
Voted
ICS
2000
Tsinghua U.
15 years 8 months ago
Using complete system simulation to characterize SPECjvm98 benchmarks
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
Tao Li, Lizy Kurian John, Narayanan Vijaykrishnan,...
160
Voted
CONIELECOMP
2004
IEEE
15 years 8 months ago
Representing and Computing Some Configuration Properties for the n-Dimensional Orthogonal Pseudo-Polytopes
In this paper we present a set of formulations that describe some properties of the configurations that can represent the n-Dimensional Orthogonal PseudoPolytopes. Moreover, we de...
Antonio Aguilera, Ricardo Pérez-Aguila
ISCIS
2004
Springer
15 years 10 months ago
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
Byeong-Mo Chang, Jong-Deok Choi
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 8 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab