Sciweavers

7380 search results - page 90 / 1476
» Engineering Software Intensive Systems
Sort
View
CODES
1998
IEEE
14 years 1 months ago
Energy-conscious HW/SW-partitioning of embedded systems: a case study on an MPEG-2 encoder
Energy dissipationis a hot topic in the design of
Jörg Henkel, Yanbing Li
CLEIEJ
2010
13 years 6 months ago
Practices and Techniques for Engineering Process Capability Models
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
Clenio F. Salviano, Marcia R. M. Martinez, Alessan...
COMSWARE
2008
IEEE
14 years 3 months ago
Multicast instant channel change in IPTV systems
Damodar Banodkar, K. K. Ramakrishnan, Shivkumar Ka...
VMCAI
2007
Springer
14 years 3 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...