9521 search results - page 1674 / 1905 » Compiling with continuations, continued |
185
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we study the dynamic RWA problem in WDM networks with sparse wavelength conversion and propose a novel hybrid algorithm for it based on the combination of mobile ag...
177
click to vote
ISCA
2005
IEEE
16 years 2 days ago
2005
IEEE
It has been shown that many requests miss in all remote nodes in shared memory multiprocessors. We are motivated by the observation that this behavior extends to much coarser grai...
160
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
202
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
157
click to vote
MSS
2005
IEEE
16 years 2 days ago
2005
IEEE
Increasing efforts have been aimed towards the management of power as a critical system resource, and the disk can consume approximately a third of the power required for a typica...