2493 search results - page 199 / 499 » Tool Support for Design by Contract |
168
click to vote
PPSC
1993
15 years 7 months ago
1993
The dense nonsymmetric eigenproblem is one of the hardest linear algebra problems to solvee ectively on massivelyparallel machines. Rather than trying to design a black box" ...
196
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we examine the ideas behind and reactions to a prototype online tool designed, in-house, for an art college's interaction design department. The web-based prot...
172
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
190
click to vote
CODES
2006
IEEE
16 years 18 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
158
click to vote
AVI
2008
15 years 8 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...