2278 search results - page 426 / 456 » Specification Techniques for Automatic Performance Analysis ... |
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
115
click to vote
TREC
2000
14 years 11 months ago
2000
CL Research's question-answering system (DIMAP-QA) for TREC-9 significantly extends its semantic relation triple (logical form) technology in which documents are fully parsed...
BMCBI
2007
14 years 9 months ago
2007
Background: The architecture of biological networks has been reported to exhibit high level of modularity, and to some extent, topological modules of networks overlap with known f...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
114
click to vote
JCIT
2008
14 years 9 months ago
2008
Multicast routing protocols in Mobile Ad-hoc Networks (MANETs) are emerging for wireless group communication which includes application such as multipoint data dissemination and m...