1401 search results - page 77 / 281 » Tool Integration for Reasoned Programming |
BMCBI
2006
13 years 9 months ago
2006
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
CONSTRAINTS
2002
13 years 8 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...
CSCW
2006
ACM
13 years 10 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
ENVSOFT
2007
13 years 8 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...