9626 search results - page 1634 / 1926 » Invariant Based Programming |
175
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
177
click to vote
IDEAS
2005
IEEE
16 years 7 days ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
172
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
In 2002, Japan announced the Earth Simulator—a supercomputer based on low-volume vector processors and a custom network—and reported that computational scientists had used it ...
173
click to vote
ISCA
2005
IEEE
16 years 7 days ago
2005
IEEE
Improved branch prediction accuracy is essential to sustaining instruction throughput with today’s deep pipelines. We introduce piecewise linear branch prediction, an idealized ...
182
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
— Architectures based on Very Long Instruction Word (VLIW) processors are an optimal choice in the attempt to obtain high performance levels in mobile devices. The effectiveness ...