1112 search results - page 73 / 223 » software 2002 |
137
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
102
Voted
INFSOF
2002
15 years 2 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
110
click to vote
ISJ
2002
15 years 2 months ago
2002
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
131
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper shows that software pipelining can be an effective technique for code generation for coarse-grained reconfigurable instruction set processors. The paper describes a tec...
218
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...