2957 search results - page 473 / 592 » Code analysis and CS-XML |
136
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
153
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
136
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
151
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
134
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...