4150 search results - page 592 / 830 » A Practical Approach to Model Extension |
227
click to vote
AES
2011
Springer
14 years 4 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
154
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
246
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
152
click to vote
DMIN
2006
15 years 5 months ago
2006
are proposing a model to help organizations detect and prevent cheats in online assessments. First we analyze different student personalities, stress situations generated by onlin...
154
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...