34 search results - page 3 / 7 » snpd 2007 |
SNPD
2004
13 years 6 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
SNPD
2003
13 years 6 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
SNPD
2003
13 years 6 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
SNPD
2003
13 years 6 months ago
2003
With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
SNPD
2003
13 years 6 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...