5200 search results - page 749 / 1040 » Symbolic models for control systems |
202
click to vote
MSWIM
2005
ACM
16 years 29 days ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
194
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
227
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
190
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to the real time nature and buddy list presence information of Instant Messaging (IM) systems worms can spread over IM networks rapidly, causing severe damages, however, it...
190
click to vote
IICS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...