416 search results - page 7 / 84 » Software Code Generation for the RVC-CAL Language |
116
click to vote
CICLING
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
92
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
107
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
114
click to vote
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...