Sciweavers

2145 search results - page 153 / 429
» Architectural Specifications in CASL
Sort
View
FORTE
2004
15 years 8 months ago
Formal Composition of Distributed Scenarios
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit...
207
Voted
ARC
2008
Springer
95views Hardware» more  ARC 2008»
15 years 9 months ago
The Instruction-Set Extension Problem: A Survey
Over the last years, we have witnessed the increased use of Application-Specific Instruction-Set Processors (ASIPs). These ASIPs are processors that have a customizable instruction...
Carlo Galuzzi, Koen Bertels
ICSE
2003
IEEE-ACM
16 years 7 months ago
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
Jeffry T. Russell, Margarida F. Jacome
DATE
2009
IEEE
146views Hardware» more  DATE 2009»
16 years 1 months ago
Heterogeneous multi-core platform for consumer multimedia applications
—This paper presents a multi-core SoC architecture for consumer multimedia applications. The comprehensive functionality of such multimedia systems is described using the example...
Peter Kollig, Colin Osborne, Tomas Henriksson
SAMOS
2007
Springer
16 years 1 months ago
Trends in Low Power Handset Software Defined Radio
This paper presents an overview of trends in low power handset SDR implementations. With the market for SDR-enabled handsets expected to grow to 200M units by 2014, the barriers to...
John Glossner, Daniel Iancu, Mayan Moudgill, Micha...