2025 search results - page 225 / 405 » Minimal-Cut Model Composition |
145
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
148
click to vote
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
139
click to vote
TAOSD
2010
15 years 3 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
172
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper we present a novel method for parsing aerial images with a hierarchical and contextual model learned in a statistical framework. We learn hierarchies at the scene an...
150
click to vote
CC
2010
Springer
16 years 9 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...