377 search results - page 66 / 76 » A Case Study based Software Engineering Education using Open... |
PROFES
2004
Springer
14 years 29 days ago
2004
Springer
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
CGO
2009
IEEE
14 years 2 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
INFSOF
2010
13 years 4 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
AC
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...