1261 search results - page 163 / 253 » Extending the Capabilities of Component Models for Embedded ... |
124
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
141
click to vote
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...
117
click to vote
DSS
2006
15 years 4 months ago
2006
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
180
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
163
click to vote
TDSC
2011
14 years 11 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...