6197 search results - page 946 / 1240 » Sandbridge Software Tools |
178
click to vote
AC
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
200
click to vote
CC
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
227
click to vote
FM
2003
Springer
16 years 19 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
186
click to vote
PASTE
2010
ACM
16 years 15 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
181
click to vote
ISESE
2002
IEEE
16 years 10 days ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...