2957 search results - page 227 / 592 » Code analysis and CS-XML |
189
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
172
click to vote
SAMOS
2009
Springer
15 years 11 months ago
2009
Springer
The demands for high quality, real-time performance and multi-format video support in consumer multimedia products are ever increasing. In particular, the future multimedia systems...
167
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...
232
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
176
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...