590 search results - page 79 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
198
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
176
click to vote
BIBE
2007
IEEE
16 years 14 days ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
153
click to vote
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Reuse distance analysis has been proved promising in evaluating and predicting data locality for programs written in Fortran or C/C++. But its effect has not been examined for ap...
161
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
188
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...