939 search results - page 90 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
142
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
109
click to vote
PEPM
2009
ACM
16 years 23 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
121
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
123
click to vote
MICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
We present an architecture that features dynamic multithreading execution of a single program. Threads are created automatically by hardware at procedure and loop boundaries and e...
164
click to vote
TWC
2008
15 years 3 months ago
2008
In this paper, bandwidth allocation, in terms of distributing available data slots among different users, is studied for QoS provisioning in IEEE 802.16 networks. By considering th...