Sciweavers

1261 search results - page 38 / 253
» Extending the Capabilities of Component Models for Embedded ...
Sort
View
DAWAK
2010
Springer
14 years 10 months ago
Experience in Extending Query Engine for Continuous Analytics
: Experience in Extending Query Engine for Continuous Analytics Qiming Chen, Meichun Hsu HP Laboratories HPL-2010-44 In-Database Stream Processing Combining data warehousing and s...
Qiming Chen, Meichun Hsu
89
Voted
ESAW
2000
Springer
15 years 1 months ago
Combining Software Components and Mobile Agents
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
Mercedes Amor, Mónica Pinto, Lidia Fuentes,...
67
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
15 years 2 months ago
Speeding up power estimation of embedded software
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
Akshaye Sama, J. F. M. Theeuwen, M. Balakrishnan
APN
2009
Springer
15 years 4 months ago
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
Fernando Rosa Velardo, David de Frutos-Escrig