Sciweavers

13591 search results - page 99 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
PTS
2010
147views Hardware» more  PTS 2010»
15 years 4 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 11 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 7 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
ECOOPWEXCEPTION
2000
Springer
15 years 9 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