14360 search results - page 294 / 2872 » Time Modeling in MARTE |
95
Voted
ISPD
1997
ACM
15 years 4 months ago
1997
ACM
In this paper, we present a new approach that performs timing driven placement for standard cell circuits in interaction with netlist transformations. As netlist transformations a...
109
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
120
Voted
ERCIMDL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...
103
Voted
EAAI
2008
15 years 21 days ago
2008
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
FMSD
2007
15 years 17 days ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...