4018 search results - page 108 / 804 » Process algebra for performance evaluation |
161
click to vote
DGO
2008
15 years 5 months ago
2008
We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and in...
127
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Due to the rapid growth in the size of the web, web search engines are facing enormous performance challenges. The larger engines in particular have to be able to process tens of ...
144
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
135
Voted
STTT
2011
14 years 10 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
121
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...