1305 search results - page 169 / 261 » Dynamic House Allocation |
115
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...
151
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
135
click to vote
ADC
2006
Springer
15 years 9 months ago
2006
Springer
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
112
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
142
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...