557 search results - page 10 / 112 » The L4.verified Project - Next Steps |
WSC
1997
13 years 10 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
SIAMSC
2008
13 years 8 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...
JISBD
2000
13 years 10 months ago
2000
The IEEE Computer Society and the Association for Computing Machinery are working on a joint project to develop a guide to the Software Engineering Body of Knowledge (SWEBOK). Art...
FLAIRS
2007
13 years 11 months ago
2007
Many software applications consist of a number of interdependent steps and are executed under the supervision of a human administrator or operator. The administrator responds to e...
ERSA
2003
13 years 10 months ago
2003
In this paper we propose an original and fast design space exploration method targeting reconfigurable architectures. This method takes place during the first steps of a design fl...