1100 search results - page 70 / 220 » An Approach to Test Aspect-oriented Programs |
120
Voted
PTS
1993
15 years 4 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
118
Voted
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
141
Voted
NIPS
2007
15 years 5 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
117
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
129
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...