6960 search results - page 585 / 1392 » Continuity Analysis of Programs |
187
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
182
click to vote
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
258
click to vote
FSEN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
197
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
180
Voted
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...