3911 search results - page 74 / 783 » Using Operational Architecture to Model Embedded Software |
136
Voted
HIPEAC
2005
Springer
15 years 8 months ago
2005
Springer
We present and evaluate the TILA-rin GPU microarchitecture for embedded systems using the ATTILA GPU simulation framework. We use a trace from an execution of the Unreal Tournament...
96
Voted
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
120
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
110
Voted
GTTSE
2007
Springer
15 years 6 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
114
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...