1206 search results - page 75 / 242 » Concurrent Abstract Predicates |
101
Voted
HPCA
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents hardware and software mechanisms to enable concurrent direct network access (CDNA) by operating systems running within a virtual machine monitor. In a conventi...
110
Voted
EDBT
2006
ACM
16 years 22 days ago
2006
ACM
Abstract. Data stream systems execute a dynamic workload of longrunning and one-time queries, with the streaming inputs typically bounded by sliding windows. For efficiency, window...
92
Voted
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
99
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Handling mobility at the transport layer is a promising approach to achieve seamless handover in the context of heterogeneous wireless access networks. In particular, fe...
106
click to vote
SEFM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...