1138 search results - page 195 / 228 » Parallel Implementation of Constraint Solving |
154
click to vote
MIDDLEWARE
2005
Springer
15 years 11 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...
146
click to vote
AMAI
2004
Springer
15 years 11 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...
158
click to vote
MIDDLEWARE
2004
Springer
15 years 11 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...
152
click to vote
MTDT
2003
IEEE
15 years 11 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 ...
159
click to vote
EUROPAR
2003
Springer
15 years 11 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...