2493 search results - page 157 / 499 » Tool Support for Design by Contract |
155
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Cellular processes depend on the function of intracellular molecular networks. The curation of the literature relevant to specific biological pathways is important for...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
172
click to vote
CGF
2010
15 years 6 months ago
2010
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
197
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—In this paper, a tool named CheCUDA is designed to checkpoint CUDA applications that use GPUs as accelerators. As existing checkpoint/restart implementations do not supp...
177
click to vote
RTCSA
2006
IEEE
16 years 14 days ago
2006
IEEE
We propose a novel tool, called objSampler, with which users can record and recall “encounters” with objects in ubiquitous computing environments. We encounter various things,...