1739 search results - page 153 / 348 » Battery Model for Embedded Systems |
160
click to vote
SAMOS
2009
Springer
15 years 9 months ago
2009
Springer
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...
124
click to vote
CLIMA
2010
15 years 4 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
140
click to vote
CSREAESA
2003
15 years 4 months ago
2003
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...
114
click to vote
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
141
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...