277 search results - page 43 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
85
Voted
FPL
2005
Springer
15 years 5 months ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
85
Voted
VL
1996
IEEE
15 years 3 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
86
Voted
ICDCSW
2006
IEEE
15 years 5 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
102
Voted
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper suggests a new image compression scheme, using the discrete wavelet transformation (DWT), which is based on attempting to preserve the texturally important image charac...