6800 search results - page 1111 / 1360 » Testing with Functions as Specifications |
152
click to vote
SBCCI
2005
ACM
15 years 10 months ago
2005
ACM
Flow control mechanisms in Network-on-Chip (NoC) architectures are critical for fast packet propagation across the network and for low idling of network resources. Buffer manageme...
152
Voted
SC
2005
ACM
15 years 10 months ago
2005
ACM
Many emerging large-scale data science applications require searching large graphs distributed across multiple memories and processors. This paper presents a distributed breadthï¬...
134
Voted
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...
165
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
139
click to vote
AE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Numerical optimization of given objective functions is a crucial task in many real-life problems. The present article introduces an immunological algorithm for continuous...