5159 search results - page 660 / 1032 » Structural Testing of Executables |
201
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
167
click to vote
ICIAR
2005
Springer
16 years 1 months ago
2005
Springer
Concavity trees have been known for quite some time as structural descriptors of 2-D shape; however, they haven’t been explored further until recently. This paper shows how 2-D s...
207
click to vote
ISMIR
2005
Springer
16 years 29 days ago
2005
Springer
The performance of autocorrelation-based metre induction was tested with two large collections of folk melodies, consisting of approximately 13,000 melodies in MIDI file format, f...
149
Voted
OOPSLA
2005
Springer
16 years 29 days ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
165
Voted
RE
2005
Springer
16 years 29 days ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...