Sciweavers

873 search results - page 74 / 175
» Software Design As Framework Reuse: A Knowledge-Based Approa...
Sort
View
LCTRTS
2010
Springer
15 years 4 months ago
Versatile system-level memory-aware platform description approach for embedded MPSoCs
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
Robert Pyka, Felipe Klein, Peter Marwedel, Stylian...
ISORC
2005
IEEE
15 years 3 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
14 years 7 months ago
GenoM3: Building middleware-independent robotic components
The topic of reusable software in robotics is now largely addressed. Components based architectures, where components are independent units that can be reused accross applications,...
Anthony Mallet, Cédric Pasteur, Matthieu He...
JNSM
2010
166views more  JNSM 2010»
14 years 4 months ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
EMNETS
2007
15 years 1 months ago
Increasing the reliability of wireless sensor networks with a distributed testing framework
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
Matthias Woehrle, Christian Plessl, Jan Beutel, Lo...