7058 search results - page 1261 / 1412 » Modelling Business Process Performance |
128
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
124
click to vote
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
125
click to vote
ICS
2000
Tsinghua U.
15 years 5 months ago
2000
Tsinghua U.
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
144
click to vote
IJCAI
2001
15 years 3 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
146
click to vote
FORTE
1994
15 years 3 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...