3053 search results - page 322 / 611 » Performance of Generative Programming Based Protocol Impleme... |
101
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
126
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
Mobile Ad Hoc Networks (MANETs) have evolved in the last years into standards in the communication world. By definition, they do not need any network infrastructure to facilitate ...
139
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Object-oriented programs often require large heaps to run properly or meet performance goals. They use high-overhead collections, bulky data models, and large caches. Discovering t...
142
click to vote
AAAI
2006
15 years 4 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...