2722 search results - page 368 / 545 » Automating Language Evolution |
131
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
142
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
147
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...
149
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
105
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...