2935 search results - page 426 / 587 » An Integrated Approach to High Integrity Software Verificati... |
180
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
143
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
161
click to vote
EMNETS
2007
15 years 10 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
173
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...
177
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...