2099 search results - page 128 / 420 » Distributed constraint optimization with structured resource... |
106
Voted
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Compiler is substantially regarded as the most essential component in the software toolchain to promote a successful processor design. This paper describes our preliminar...
119
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
109
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
97
Voted
HPCA
2004
IEEE
16 years 1 months ago
2004
IEEE
Design of wakeup-free issue queues is becoming desirable due to the increasing complexity associated with broadcast-based instruction wakeup. The effectiveness of most wakeup-free...
111
Voted
ICAC
2006
IEEE
15 years 6 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...