859 search results - page 89 / 172 » Explaining Synthesized Software |
133
click to vote
CODES
2009
IEEE
16 years 27 days ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
186
Voted
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
141
Voted
FOAL
2009
ACM
16 years 19 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
168
click to vote
CODES
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
148
click to vote
CODES
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper proposes a new link for asynchronous NoC communications that is resilient to transient faults on the wires of the link without impact on the data transfer capability. R...