2347 search results - page 126 / 470 » Collecting commonsense experiences |
176
click to vote
IJHPCA
2006
15 years 6 months ago
2006
Overlapping communication with computation is a well-known technique to increase application performance. While it is commonly assumed that communication and computation can be ov...
174
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an experience in requirements engineering for an open source E-Learning tool selection. The process meets the challenges of software selection such as the int...
144
click to vote
BIOINFORMATICS
2004
15 years 6 months ago
2004
EST databases have grown exponentially in recent years and now represent the largest collection of genetic sequences. An important application of these databases is that they conta...
153
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
207
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...