2035 search results - page 370 / 407 » On the complexity of stratified logics |
SIGMOD
1999
ACM
15 years 2 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
82
Voted
MICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
100
click to vote
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
ICDT
2010
ACM
15 years 2 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...