5190 search results - page 450 / 1038 » Multithreaded Parallel Computer Model with Performance Evalu... |
204
click to vote
SDMW
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
205
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
176
click to vote
PPSN
1994
Springer
15 years 11 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...
204
click to vote
HPCA
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...
170
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...