4763 search results - page 49 / 953 » On the Execution of Deep Models |
IAW
2003
IEEE
14 years 21 days ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
CASCON
1996
13 years 8 months ago
1996
Because changes to the database (DB) and workload occur during a DB system's lifetime, the physical DB design must evolve to sustain good performance. These changes are carri...
DANTE
1999
IEEE
13 years 11 months ago
1999
IEEE
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
CSREAESA
2003
13 years 8 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
ECRTS
2002
IEEE
14 years 11 days ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...