4285 search results - page 344 / 857 » Differential Behavioral Analysis |
205
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
197
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
160
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a general methodology to automate the search for equilibrium strategies in games derived from computational experimentation. Our approach interleaves empirical game-the...
179
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
190
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
The exponential growth of databases that contains biological information (such as protein and DNA data) demands great efforts to improve the performance of computational platforms...