6953 search results - page 1008 / 1391 » Development Tools for Distributed Applications |
177
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
157
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Microarray co-expression signatures are an important tool for studying gene function and relations between genes. In addition to genuine biological co-expression, corr...
168
click to vote
ECR
2007
15 years 6 months ago
2007
In the everyday business world, the sourcing process of multiple goods and services usually involves complex negotiations (via telephone, fax, etc) that include discussion of prod...
180
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
185
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—The industry is now in agreement that the future of architecture design lies in multiple cores. As a consequence, all computer systems today, from embedded devices to petascale ...