16859 search results - page 411 / 3372 » Generative software development |
163
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
The goal of the research is twofold First, the derivation of a design methodology for FIR filters implementation based on Residue Number System (RNS), aiming at power, delay and h...
196
click to vote
AADEBUG
1993
Springer
15 years 11 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
168
click to vote
CISSE
2009
Springer
15 years 10 months ago
2009
Springer
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
199
click to vote
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
174
click to vote
QSIC
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...