1755 search results - page 156 / 351 » An efficient simulation algorithm based on abstract interpre... |
146
click to vote
TECS
2008
15 years 3 months ago
2008
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
156
click to vote
VTC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Adaptive Token Bank Fair Queuing (ATBFQ) algorithm has been proposed as a cross-layer scheduling technique for 4G wireless systems recently. This algorithm takes higher ...
110
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Hybrid wireless-optical broadband access network (WOBAN) is a promising architecture for future network operations. Recently, the wireless part of WOBAN has been gaining...
158
click to vote
JMLR
2010
14 years 10 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
163
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...