Sciweavers

13591 search results - page 99 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
116
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 3 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
PADS
2003
ACM
15 years 9 months ago
Power-aware State Dissemination in Mobile Distributed Virtual Environments
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
Weidong Shi, Kalyan S. Perumalla, Richard M. Fujim...
WCET
2007
15 years 5 months ago
Analysing Switch-Case Tables by Partial Evaluation
Tracing the flow of control in code generated from  switch­case statements is difficult for static program  analysis   tools   when   the   code   contains Â...
Niklas Holsti
115
Voted
CIE
2005
Springer
15 years 4 months ago
Portholes and planes: faster dynamic evaluation of potentially visible sets
Timothy Roden, Ian Parberry
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
Christophe Dony