Sciweavers

7189 search results - page 502 / 1438
» Connecting Design with Code
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
Promoting developer-specific awareness
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...
Reid Holmes, Robert J. Walker
KBSE
2008
IEEE
16 years 22 days ago
Exploring the composition of unit test suites
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
Bart Van Rompaey, Serge Demeyer
EUROMICRO
2007
IEEE
16 years 20 days ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
ISCAS
2006
IEEE
96views Hardware» more  ISCAS 2006»
16 years 11 days ago
In-scale motion aligned temporal filtering
— To handle the mismatch problems of spatial-domain motion aligned temporal filtering (MATF) in providing spatial scalability, this paper presents a novel in-scale motion aligne...
Ruiqin Xiong, Jizheng Xu, Feng Wu, Shipeng Li
DAC
2006
ACM
16 years 9 days ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...