Results 221 to 230 of about 1,621,811 (255)
Some of the next articles are maybe not open access.
1999
The rising cost of testing is driving industry to revise its processes and techniques in order to be able to verify in an economical way the complex systems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of finding a cost-effective verification process.
openaire +1 more source
The rising cost of testing is driving industry to revise its processes and techniques in order to be able to verify in an economical way the complex systems demanded by current and future applications. The Marconi Research Centre devised a software testing experiment called VERA with the aim of finding a cost-effective verification process.
openaire +1 more source
ACM SIGPLAN Notices, 2012
Haskell gives computational biologists the flexibility and rapid prototyping of a scripting language, plus the performance of native code. In our experience, higher-order functions, lazy evaluation, and monads really worked, but profiling and debugging presented obstacles.
Noah M. Daniels +2 more
openaire +1 more source
Haskell gives computational biologists the flexibility and rapid prototyping of a scripting language, plus the performance of native code. In our experience, higher-order functions, lazy evaluation, and monads really worked, but profiling and debugging presented obstacles.
Noah M. Daniels +2 more
openaire +1 more source
ACM SIGPLAN Notices, 2008
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-time, embedded systems. Prior to the introduction of the DSL, engineers would describe the steps needed to configure a particular system in a handwritten XML document.
openaire +2 more sources
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-time, embedded systems. Prior to the introduction of the DSL, engineers would describe the steps needed to configure a particular system in a handwritten XML document.
openaire +2 more sources
Aeronautical journal (London, England : 1897), 1897
The two chief methods proposed by inventors for obtaining aerial flight are by means of aeroplanes or aerocurves, driven by screw propellers, and by wings worked as in nature.Which of these designs will practically be best it is difficult to say. It can only be by actually trying the two methods that their merits can be compared.
openaire +1 more source
The two chief methods proposed by inventors for obtaining aerial flight are by means of aeroplanes or aerocurves, driven by screw propellers, and by wings worked as in nature.Which of these designs will practically be best it is difficult to say. It can only be by actually trying the two methods that their merits can be compared.
openaire +1 more source
On the reporting of computational experiments
Mathematical Programming, 1978openaire +1 more source