809 search results - page 38 / 162 » Requirements by Contracts allow Automated System Testing |
178
click to vote
ECIS
2003
15 years 5 months ago
2003
This paper studies the pricing of software development outsourcing. Two pricing techniques – time and material and fixed price – are described and the economic conditions for ...
138
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
135
click to vote
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a test scheduling methodology for core-based system-on-chips that allows tradeoff between system power dissipation and overall test time. The basic strategy is to use t...
147
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
117
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...