1717 search results - page 297 / 344 » A Computable Spectral Theorem |
128
click to vote
ICFEM
1997
Springer
15 years 4 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
110
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
132
Voted
FPGA
2000
ACM
15 years 4 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
118
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
98
Voted
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...