2145 search results - page 159 / 429 » Architectural Specifications in CASL |
162
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This study1 explores the applicability of fully automatic parallelizing techniques for parallel computers. In this study, we capitalize on a variety of traditional compiling techn...
206
click to vote
ACSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
159
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...
174
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This work discusses the Memory Architecture for Reconfigurable Computers (MARC), a scalable, device-independent memory interface that supports both irregular (via configu...
169
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
: In this paper we discuss different aspects of system reconfiguration and their relation to the specific requirements from the application domain. Two projects