494 search results - page 67 / 99 » Static Analysis for Guarded Code |
114
click to vote
SETP
2007
15 years 3 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
124
click to vote
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
113
click to vote
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we propose a new object-based video coding/transmission system using the emerging Motion JPEG 2000 standard [1] for the efficient storage and delivery of video surve...
134
Voted
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
126
click to vote
USS
2010
15 years 10 days ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...