850 search results - page 105 / 170 » Globalization and Offshoring of Software |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
FASE
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...