6020 search results - page 242 / 1204 » A New Approach to Model Counting |
158
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
155
Voted
ENVSOFT
2007
15 years 5 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
145
click to vote
IS
2010
15 years 3 months ago
2010
Abstract—In this paper we present work on adaptive identification of learners’ strategies, gradually developing a higher level of adaptation based on evolving models of mathem...
154
Voted
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
129
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...