272 search results - page 23 / 55 » Automating the development of quantum computational software |
ECCE
2007
13 years 10 months ago
2007
Motivation – This research aims at investigating emerging roles and forms of participation fostering design-use mediation during the Open Source Software design process Research...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
FMICS
2009
Springer
14 years 3 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...