3705 search results - page 219 / 741 » Building Documentation Generators |
115
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we address the problem of code generation for basic blocks in heterogeneous memory-register DSP processors. We propose a new a technique, based on register-transfer ...
133
click to vote
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
119
click to vote
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
141
Voted
IICAI
2007
15 years 5 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
119
Voted
AIPS
2000
15 years 5 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...