653 search results - page 118 / 131 » Embedded software generation from system level design langua... |
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
70
Voted
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
174
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
81
Voted
CASES
2006
ACM
15 years 3 months ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
DLOG
1997
14 years 11 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...