3053 search results - page 85 / 611 » Performance of Generative Programming Based Protocol Impleme... |
101
click to vote
SPIRE
2005
Springer
15 years 6 months ago
2005
Springer
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
121
click to vote
PADO
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
79
Voted
ISI
2007
Springer
15 years 7 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
100
Voted
FORTE
1998
15 years 2 months ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
97
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...