Sciweavers

3889 search results - page 468 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
OOPSLA
2010
Springer
15 years 4 months ago
G-Finder: routing programming questions closer to the experts
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
Wei Li, Charles Zhang, Songlin Hu
ICFP
2007
ACM
16 years 6 months ago
McErlang: a model checker for a distributed functional programming language
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
Hans Svensson, Lars-Åke Fredlund
ATAL
2005
Springer
15 years 11 months ago
Formation of cooperation structure by interaction network in directed multi-agent
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...
Kosuke Sekiyama, Yukihisa Okade
XPU
2004
Springer
15 years 11 months ago
When XP Met Outsourcing
Outsourcing is common for software development, and is the context for many projects using agile development processes. This paper presents two case studies concentrating on the cu...
Angela Martin, Robert Biddle, James Noble
IWPC
2003
IEEE
15 years 11 months ago
Event-Based Performance Analysis
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
Steven P. Reiss