2826 search results - page 233 / 566 » A resource-based analysis of IT sourcing |
148
click to vote
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
184
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Many applications require analyzing vast amounts of textual data, but the size and inherent noise of such data can make processing very challenging. One approach to these issues i...
170
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
203
click to vote
SOFSEM
2007
Springer
16 years 29 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
191
click to vote
APLAS
2005
ACM
16 years 13 days ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...