1684 search results - page 221 / 337 » The lexicographic decision function |
97
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— We consider the fundamental delay tradeoffs for utility optimal scheduling in a general network with time varying channels. A network controller acts on randomly arriving data ...
116
Voted
ACCV
2006
Springer
15 years 6 months ago
2006
Springer
Tracking of regions and object boundaries in an image sequence is a well studied problem in image processing and computer vision. So far, numerous approaches tracking different fea...
ISCA
2005
IEEE
15 years 6 months 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 ...
111
click to vote
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...