4438 search results - page 580 / 888 » The Case for Collaborative Programming |
198
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
228
click to vote
ILP
2007
Springer
16 years 25 days ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
184
Voted
SEKE
2007
Springer
16 years 24 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
191
click to vote
COMSWARE
2006
IEEE
16 years 23 days ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
162
Voted
KBSE
2006
IEEE
16 years 21 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...