Sciweavers

4716 search results - page 420 / 944
» Iterative-free program analysis
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Globally distributed software development project performance: an empirical analysis
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
Narayan Ramasubbu, Rajesh Krishna Balan
ICDE
2009
IEEE
129views Database» more  ICDE 2009»
16 years 1 months ago
A Static Analysis Framework for Database Applications
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...
Arjun Dasgupta, Vivek R. Narasayya, Manoj Syamala
FM
2009
Springer
123views Formal Methods» more  FM 2009»
16 years 1 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
RTSS
2008
IEEE
16 years 1 months ago
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...
Damien Hardy, Isabelle Puaut
IPPS
2007
IEEE
16 years 1 months ago
Stack Trace Analysis for Large Scale Debugging
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supins...