1420 search results - page 54 / 284 » A combined functional and object-oriented approach to softwa... |
215
click to vote
CODES
2003
IEEE
15 years 11 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...
141
click to vote
ICFEM
2010
Springer
15 years 4 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 ...
154
click to vote
ECBS
2009
IEEE
16 years 28 days 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...
151
click to vote
TIP
2010
15 years 25 days 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...
172
click to vote
TLT
2008
15 years 6 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...