1888 search results - page 38 / 378 » Proof theory and computational analysis |
108
Voted
MCSS
2008
Springer
15 years 14 days ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
114
Voted
BIOCOMP
2009
14 years 10 months ago
2009
- Identification and annotation of all the functional elements in the genome, including genes and regulatory sequences, is a fundamental challenge in genomics and computational bio...
109
Voted
ICDCS
1998
IEEE
15 years 4 months ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
115
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
101
click to vote
IPL
1998
15 years 5 days ago
1998
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...