4355 search results - page 100 / 871 » From Interpretation to Compilation |
146
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
150
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we study the performance improvements and trade-offs derived from an optimized mapping approach applied on a parametric coarse grained reconfigurable array architect...
114
click to vote
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
As transistor counts keep increasing and clock frequencies rise, high power consumption is becoming one of the most important obstacles, preventing further scaling and performance...
119
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
125
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...