5536 search results - page 928 / 1108 » Programming Languages for Distributed Applications |
103
click to vote
NETWORKS
2008
15 years 1 months ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
104
click to vote
PPL
2008
15 years 1 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
110
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
110
click to vote
ICICS
2009
Springer
14 years 11 months ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
ICASSP
2011
IEEE
2011
IEEE
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
14 years 5 months ago
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...