1420 search results - page 54 / 284 » A combined functional and object-oriented approach to softwa... |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
TIP
2010
13 years 3 months ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
TLT
2008
13 years 8 months ago
2008
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...