2119 search results - page 275 / 424 » Structure-Preserving Model Reduction |
129
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
137
Voted
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
Relaxed memory consistency models, such as release consistency, were introduced in order to reduce the impact of remote memory access latency in both software and hardware distrib...
151
Voted
LFCS
1992
Springer
15 years 6 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
163
Voted
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
98
Voted
ARC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...