Sciweavers

4722 search results - page 614 / 945
» Encoding Program Executions
Sort
View
ECOOP
2008
Springer
15 years 5 months ago
Bristlecone: A Language for Robust Software Systems
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
Brian Demsky, Alokika Dash
138
Voted
ICMLA
2007
15 years 5 months ago
Learning to evaluate conditional partial plans
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
Slawomir Nowaczyk, Jacek Malec
ACSW
2004
15 years 5 months ago
A Framework for Obfuscated Interpretation
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
Akito Monden, Antoine Monsifrot, Clark D. Thombors...
114
Voted
CSC
2006
15 years 5 months ago
Simulation for Helium Atom Scattering From Stepped Surfaces
-- A computer program has been developed to simulate the helium atom scattering from stepped surface for both up hill and down hill scattering with diffraction kinematics chosen to...
Alauddin Ahmed, Ahmed Ryadh Hasan, Durdana Islam, ...
PDPTA
2004
15 years 5 months ago
Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model
We present the MBRAM model for static evaluation of the performance of memory-bound programs. The MBRAM model predicts the actual running time of a memory-bound program directly fr...
Gene Cooperman, Xiaoqin Ma, Viet Ha Nguyen