1282 search results - page 195 / 257 » Practical Loss-Resilient Codes |
139
click to vote
FMCAD
2009
Springer
16 years 11 days ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
158
Voted
MODELS
2009
Springer
16 years 10 days ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
160
click to vote
CANDC
2009
ACM
16 years 9 days ago
2009
ACM
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
142
click to vote
ISSTA
2009
ACM
16 years 9 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
160
Voted
APSEC
2008
IEEE
16 years 8 days ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...