372 search results - page 62 / 75 » A Study of The Fragile Base Class Problem |
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
ISSAC
2007
Springer
14 years 1 months ago
2007
Springer
Shirayanagi and Sweedler proved that a large class of algorithms over the reals can be modified slightly so that they also work correctly on fixed-precision floating-point numb...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— One of the critical challenges facing the networking industry today is to increase the profitability of Internet services. One well-known method in economics for increasing th...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The capacity region of the N-sender additive white Gaussian noise (AWGN) multiple access channel (MAC) with feedback is not known in general, despite significant contributions by C...
TPDS
1998
13 years 7 months ago
1998
—We show that deadlocks due to dependencies on consumption channels are a fundamental problem in wormhole multicast routing. This type of resource deadlocks has not been addresse...