4890 search results - page 871 / 978 » From system specifications to component behavioral models |
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
GVD
2009
13 years 6 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
COGSR
2011
13 years 4 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
ENTCS
2011
13 years 4 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
ASPDAC
2009
ACM
14 years 3 months ago
2009
ACM
— Thermal balancing and reducing hot-spots are two important challenges facing the MPSoC designers. In this work, we model the thermal behavior of a MPSoC as a control theory pro...