1034 search results - page 136 / 207 » Wide Classes |
LCPC
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
SAT
2004
Springer
14 years 2 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
MICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
The impact of pipeline length on both the power and performance of a microprocessor is explored both theoretically and by simulation. A theory is presented for a wide range of pow...