11151 search results - page 2061 / 2231 » On the Complexity of Model Expansion |
102
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
108
Voted
MSWIM
2004
ACM
15 years 6 months ago
2004
ACM
Today, three different physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve a high performance under v...
122
Voted
SIGCOMM
2004
ACM
15 years 6 months ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
130
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...