7766 search results - page 200 / 1554 » Testing Nondeterminate Systems |
125
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
157
Voted
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
124
click to vote
ISSTA
2009
ACM
15 years 10 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...
141
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
147
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...