32032 search results - page 6403 / 6407 » Verified programming in Guru |
ACISP
1997
Springer
13 years 11 months ago
1997
Springer
tracts, pp. 11-17. (http://www.qucis.queens.ca/achallc97/papers/p028.html) Alexa, Melina; Rostek, Lothar Pattern Concordances - TATOE calls XGrammar. Presented at ACH -ALLC97, King...
CCS
2006
ACM
13 years 10 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
BTW
2009
Springer
13 years 10 months ago
2009
Springer
: Persistenzframeworks sind komplexe Softwarelösungen für die Speicherung und das Auffinden von Objekten in relationalen Datenbanken. Immer wichtiger für die Weiterentwicklung s...
SE
2007
13 years 8 months ago
2007
: Einige der g¨angigen Auffassungen zu ” Was ist Software-Architektur?“ stimmen nicht ¨uberein mit Beobachtungen aus der industriellen Praxis der Software-Entwicklung – so ...
NAACL
2003
13 years 8 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...