9067 search results - page 566 / 1814 » Adaptive Model Checking |
234
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
141
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper the Shannon capacity of generalizedgamma (GG) fading channels is studied, under different adaptive transmission techniques. The GG is a generic distributio...
208
click to vote
ICALT
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper an instructional framework is proposed for supporting personalised learning in the context of webbased adaptive educational hypermedia systems. A learning-focused ap...
174
click to vote
BTW
2003
Springer
16 years 10 days ago
2003
Springer
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...
182
click to vote
ISCAS
2002
IEEE
16 years 19 hour ago
2002
IEEE
So far, oscillators have been designed to perform a specific task while the key parameters such as phase-noise and power consumption are set by the hardware design and not by the ...