1888 search results - page 142 / 378 » Proof theory and computational analysis |
81
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
111
click to vote
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
90
Voted
ISMB
1998
15 years 2 months ago
1998
This workfocuses on the inference of evolutionary relationships in protein superfamilies, and the uses of these relationships to identify keypositions in the structure, to infer a...
88
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
115
Voted
SIAMCO
2008
15 years 17 days ago
2008
The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence on the...