4151 search results - page 520 / 831 » Language Driven System Design |
214
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
190
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
226
click to vote
MODELS
2009
Springer
15 years 12 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
211
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
188
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...