1161 search results - page 68 / 233 » Resource Modeling for Timed Creol Models |
151
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
111
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
164
click to vote
AIPS
2006
15 years 4 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
134
Voted
NAACL
1994
15 years 4 months ago
1994
Improved acoustic modeling can significantly decrease the error rate in large-vocabulary speech recognition. Our approach to the problem is twofold. We first propose a scheme that...
116
click to vote
CN
2006
15 years 3 months ago
2006
Though Connection Admission Control (CAC) in wireless networks has been studied extensively, the heterogeneous structure of Next Generation Wireless Systems (NGWS) makes CAC very ...