481 search results - page 45 / 97 » acm 1994 |
SIGSOFT
1994
ACM
14 years 24 days ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
STOC
1994
ACM
14 years 24 days ago
1994
ACM
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandomnumber generators do not exist. This famous result is ...
VLDB
1994
ACM
14 years 24 days ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
VLDB
1994
ACM
14 years 24 days ago
1994
ACM
We have built a multidatabase system to support a financial application that stores historical data used by traders to identify trends in the market. The application has an update...
VLDB
1994
ACM
14 years 24 days ago
1994
ACM
This paper describes the design and implementation of Paradise, a database system designed for handling GIS type of applications. The current version of Paradise, uses a client{se...