1401 search results - page 244 / 281 » Tool Integration for Reasoned Programming |
CONCURRENCY
2002
13 years 9 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
LPAR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
BMCBI
2006
13 years 10 months ago
2006
Background: Studies of differential expression that use Affymetrix GeneChip arrays are often carried out with a limited number of replicates. Reasons for this include financial co...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
HPDC
1997
IEEE
14 years 2 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...