2119 search results - page 67 / 424 » Structure-Preserving Model Reduction |
ITICSE
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Interconnect reduction is an important step in the design and analysis of complex interconnects found in present-day integrated circuits. This paper presents techniques for obtain...
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
ETRICS
2006
15 years 3 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...