6197 search results - page 946 / 1240 » Sandbridge Software Tools |
150
click to vote
AC
2003
Springer
15 years 12 months 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 ...
180
click to vote
CC
2003
Springer
15 years 12 months 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...
195
click to vote
FM
2003
Springer
15 years 12 months 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...
160
click to vote
PASTE
2010
ACM
15 years 11 months 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...
156
Voted
ISESE
2002
IEEE
15 years 11 months 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 ...