1147 search results - page 161 / 230 » Termination in language-based systems |
SIGIR
2011
ACM
13 years 24 days ago
2011
ACM
We consider an interactive information retrieval task in which the user is interested in finding several to many relevant documents with minimal effort. Given an initial documen...
MOBIHOC
2009
ACM
14 years 10 months ago
2009
ACM
Sectorized antennas can increase wireless network capacity through greater spatial reuse. Despite their increasing popularity, their real-world performance characteristics in dens...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
DMTCP (Distributed MultiThreaded CheckPointing) is a transparent user-level checkpointing package for distributed applications. Checkpointing and restart is demonstrated for a wid...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
The IEEE 802.16/WiMAX standard has fully embraced multi-antenna technology and can, thus, deliver robust and high transmission rates and higher system capacity. Nevertheless, due ...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...