170 search results - page 31 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
175
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
165
click to vote
FPL
1999
Springer
15 years 10 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
183
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
179
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
151
Voted
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...