Sciweavers

595 search results - page 28 / 119
» Lightweight Static Capabilities
Sort
View
WOWMOM
2006
ACM
143views Multimedia» more  WOWMOM 2006»
14 years 1 months ago
GridStix: Supporting Flood Prediction using Embedded Hardware and Next Generation Grid Middleware
The cost of damage caused by flooding is directly related to the warning-time given before a flood occurs. Therefore, improving the coverage, accuracy and reliability of flood pre...
Danny Hughes, Phil Greenwood, Geoff Coulson, Gordo...
SAS
2007
Springer
14 years 1 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
ICSM
2006
IEEE
14 years 1 months ago
Reverse Engineering Method Stereotypes
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
Natalia Dragan, Michael L. Collard, Jonathan I. Ma...
ANSS
1997
IEEE
13 years 12 months ago
Towards the Design of a Heterogeneous Hierarchical Machine: A Simulation Approach
HPAM Sim is an execution-driven simulator of heterogeneous machines. HPAM Sim allows the simulation of target machines consisting of different processors and interconnection netwo...
Zina Ben-Miled, José A. B. Fortes, Rudolf E...
CSREAESA
2004
13 years 9 months ago
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
Diarmuid O'Donoghue, James F. Power