6608 search results - page 1279 / 1322 » On the Completeness of Model Checking |
148
Voted
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...
121
Voted
SIGECOM
2006
ACM
15 years 9 months ago
2006
ACM
Graphical games have been proposed as a game-theoretic model of large-scale distributed networks of non-cooperative agents. When the number of players is large, and the underlying...
134
Voted
SPAA
2006
ACM
15 years 9 months ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
130
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
Before an application modelled as a Directed Acyclic Graph (DAG) is executed on a heterogeneous system, a DAG mapping policy is often enacted. After mapping, the tasks (in the DAG...
157
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
—Content-based copy detection (CBCD) is one of the emerging multimedia applications for which there is a need of a concerted effort from the database community and the computer ...