1138 search results - page 195 / 228 » Parallel Implementation of Constraint Solving |
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
A problem with many distributed applications is their behavior in lieu of unpredictable variations in user request volumes or in available resources. This paper explores a performa...
AMAI
2004
Springer
14 years 2 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...
MTDT
2003
IEEE
14 years 2 months ago
2003
IEEE
Memory cores (especially SRAM cores) used on a system chip usually come from a memory compiler. Commercial memory compilers have their limitation— a large memory may need to be ...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
We consider the use of a cluster of PC servers for Application Service Providers where applications and databases must remain autonomous. We use data replication to improve data av...