6800 search results - page 1111 / 1360 » Testing with Functions as Specifications |
180
click to vote
SBCCI
2005
ACM
16 years 1 days 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...
181
click to vote
SC
2005
ACM
16 years 1 days 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ï¬...
155
click to vote
SIGIR
2005
ACM
16 years 1 days 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...
191
click to vote
AADEBUG
2005
Springer
16 years 1 days 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...
170
click to vote
AE
2005
Springer
16 years 1 days 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...