16725 search results - page 2731 / 3345 » Engineering Software Correctness |
222
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
191
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
230
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
231
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
230
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
TeleScribe is a software mechanism for efficiently reprogramming embedded systems such as wireless sensor nodes over a shared communication link. One distinguishing feature is its...