2947 search results - page 511 / 590 » Analyzing Program Analyses |
126
click to vote
CODES
2007
IEEE
15 years 6 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...
127
click to vote
FPL
2007
Springer
15 years 6 months ago
2007
Springer
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
139
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
107
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
170
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...