3911 search results - page 74 / 783 » Using Operational Architecture to Model Embedded Software |
187
click to vote
HIPEAC
2005
Springer
15 years 11 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...
124
click to vote
SAMOS
2004
Springer
15 years 11 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...
157
click to vote
OSDI
2006
ACM
16 years 6 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...
157
click to vote
GTTSE
2007
Springer
15 years 10 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...
151
click to vote
ISSS
2000
IEEE
15 years 10 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...