2493 search results - page 277 / 499 » Tool Support for Design by Contract |
MST
1998
14 years 10 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...
97
Voted
WETICE
2005
IEEE
15 years 4 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
84
Voted
ACISP
2009
Springer
15 years 5 months ago
2009
Springer
Bernstein’s CubeHash is a hash function family that includes four functions submitted to the NIST Hash Competition. A CubeHash function is parametrized by a number of rounds r, a...
100
Voted
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
ICCD
2003
IEEE
15 years 7 months ago
2003
IEEE
There is currently a huge gap between the two main technologies used to implement custom digital integrated circuit (IC) designs. At one end of the spectrum are field programmable...