11328 search results - page 1999 / 2266 » Timed Branching Processes |
160
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
136
click to vote
ESTIMEDIA
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents techniques to tightly integrate worstcase execution time (WCET) information into a compiler framework. Currently, a tight integration of WCET information into ...
148
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
135
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
122
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...