348 search results - page 58 / 70 » Leveraging Inconsistency in Software Development |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
MICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
EMSOFT
2003
Springer
14 years 21 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
FATES
2003
Springer
14 years 21 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...