285 search results - page 27 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
116
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
126
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
115
click to vote
CCS
2010
ACM
15 years 16 days ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
94
Voted
JUCS
2006
15 years 1 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
101
click to vote
PDCAT
2009
Springer
15 years 8 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...