3708 search results - page 712 / 742 » Programming with C Exceptions |
DAC
1997
ACM
14 years 1 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 ...
FOCS
1994
IEEE
14 years 1 months ago
1994
IEEE
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
SIGIR
1993
ACM
14 years 29 days ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
MFPS
1989
14 years 28 days ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
JELIA
1990
Springer
14 years 28 days ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...