2500 search results - page 306 / 500 » Specifying Behavior in C |
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper motivates the need for a session state storage layer. Session state is used in a large class of applications. Existing session state storage solutions often rely on ad-...
107
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a study of six batch-pipelined scientific workloads that are candidates for execution on computational grids. Whereas other studies focus on the behavior of single app...
116
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
We consider the problem of minimizing preference elicitation in efficient multiattribute auctions, that support dynamic negotiation over non-price based attributes such as qualit...
160
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
124
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...