Sciweavers

1446 search results - page 33 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
ECBS
2007
IEEE
209views Hardware» more  ECBS 2007»
15 years 8 months ago
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
Andrea Schauerhuber, Manuel Wimmer, Wieland Schwin...
CASES
2005
ACM
15 years 3 months ago
Hardware support for code integrity in embedded processors
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
Milena Milenkovic, Aleksandar Milenkovic, Emil Jov...
ECMDAFA
2006
Springer
91views Hardware» more  ECMDAFA 2006»
15 years 5 months ago
Using a Model Merging Language for Reconciling Model Versions
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kol...
DATE
2005
IEEE
84views Hardware» more  DATE 2005»
15 years 7 months ago
A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms
In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our app...
Greg Stitt, Frank Vahid
DATE
2005
IEEE
97views Hardware» more  DATE 2005»
15 years 7 months ago
Efficient Solution of Language Equations Using Partitioned Representations
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
Alan Mishchenko, Robert K. Brayton, Jie-Hong Rolan...