385 search results - page 57 / 77 » Verified Code Generation for Embedded Systems |
124
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--We investigate the problem of maintaining an encoded distributed storage system when some nodes contain adversarial errors. Using the error-correction capabilities that a...
120
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
129
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
106
click to vote
ISOLA
2010
Springer
15 years 10 days ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
165
click to vote
HASE
2002
IEEE
15 years 6 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...