4359 search results - page 229 / 872 » Automated Pipeline Design |
148
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
169
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...
128
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
153
Voted
FAST
2010
15 years 6 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
155
click to vote
NSDI
2010
15 years 6 months ago
2010
: As cloud services grow to span more and more globally distributed datacenters, there is an increasingly urgent need for automated mechanisms to place application data across thes...