10707 search results - page 423 / 2142 » Designing executable abstractions |
133
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
151
click to vote
DT
2006
15 years 5 months ago
2006
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...
118
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
152
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
146
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partially fixed. At ...