2629 search results - page 245 / 526 » complex 2009 |
152
click to vote
SBMF
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
179
click to vote
ACMSE
2009
ACM
16 years 21 days ago
2009
ACM
In a world of increasing Internet connectivity coupled with increasing computer security risks, security conscious network applications implementing blacklisting technology are be...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management (DPM) has been implemented in many sy...
170
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...
173
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...