9387 search results - page 1848 / 1878 » An Optimal Process Model for a Real Time Process |
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...
106
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
116
click to vote
CSB
2003
IEEE
15 years 4 months ago
2003
IEEE
Recognition of a protein’s fold provides valuable information about its function. While many sequence-based homology prediction methods exist, an important challenge remains: tw...
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
116
click to vote
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...