1237 search results - page 191 / 248 » Strictness and Totality Analysis |
304
click to vote
LCN
1998
IEEE
15 years 10 months ago
1998
IEEE
The ATM Guaranteed Frame Rate GFR service is intended for best e ort tra c that can bene t from minimum throughput guarantees. Edge devices connecting LANs to an ATM network can u...
162
click to vote
ICCAD
1993
IEEE
15 years 10 months ago
1993
IEEE
Circuit simulation is one of the most computationally expensive tasks in circuit design and optimization. Detailed simulation at the level of precision of SPICE is usually perform...
162
click to vote
COLT
1992
Springer
15 years 9 months ago
1992
Springer
We consider learning in situations where the function used to classify examples may switch back and forth between a small number of different concepts during the course of learnin...
162
click to vote
VLDB
1989
ACM
15 years 9 months ago
1989
ACM
In this paper, we show detailed analysis and performance evaluation of the Dynamic Hybrid GRACE Hash Join Method (DHGH Method) when the tuple distribution in buckets is unbalanced...
160
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...