Sciweavers

667 search results - page 98 / 134
» A Framework for Embedded Real-Time System Design
Sort
View
DATE
2006
IEEE
118views Hardware» more  DATE 2006»
14 years 2 months ago
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Hei...
SMC
2007
IEEE
154views Control Systems» more  SMC 2007»
14 years 2 months ago
From biology to evolve-able pervasive ICT systems
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac
RTAS
1998
IEEE
14 years 21 days ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
EMSOFT
2006
Springer
14 years 4 days ago
New approach to architectural synthesis: incorporating QoS constraint
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan
RTAS
2003
IEEE
14 years 1 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee