6800 search results - page 1030 / 1360 » Testing with Functions as Specifications |
223
Voted
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
191
click to vote
AISS
2010
15 years 4 months ago
2010
The National Agricultural Biotechnology Information Center (NABIC) constructs an agricultural biology-based infrastructure and develops a biotechnological database. The NABIC has ...
178
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
167
click to vote
ERSA
2010
15 years 4 months ago
2010
- Partial reconfiguration (PR) enhances traditional FPGA-based high-performance reconfigurable computing by providing additional benefits such as reduced area and memory requiremen...
204
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
With network components increasingly reliable, routing is playing an ever greater role in determining network reliability. This has spurred much activity in improving routing stabi...