Sciweavers

1128 search results - page 76 / 226
» Dynamic Communication Models in Embedded System Co-Simulatio...
Sort
View
ICPP
2008
IEEE
16 years 15 days ago
Enabling Streaming Remoting on Embedded Dual-Core Processors
Dual-core processors (and, to an extent, multicore processors) have been adopted in recent years to provide platforms that satisfy the performance requirements of popular multimed...
Kun-Yuan Hsieh, Yen-Chih Liu, Po-Wen Wu, Shou-Wei ...
154
Voted
CSL
2010
Springer
15 years 7 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
SAMOS
2004
Springer
15 years 11 months ago
A High-Level Programming Paradigm for SystemC
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
Mark Thompson, Andy D. Pimentel
MA
2000
Springer
125views Communications» more  MA 2000»
15 years 9 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh
COOPIS
2004
IEEE
15 years 9 months ago
Enabling Rapid Feature Deployment on Embedded Platforms with JeCOM Bridge
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...
Jun Li, Keith Moore