Sciweavers

760 search results - page 38 / 152
» Modeling the Functionality of Multi-Functional Software Syst...
Sort
View
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 2 months ago
Software Decelerators
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
Eric Keller, Gordon J. Brebner, Philip James-Roxby
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 2 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
82
Voted
PTS
2008
87views Hardware» more  PTS 2008»
14 years 11 months ago
Test Construction for Mathematical Functions
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
Victor V. Kuliamin
CODES
2001
IEEE
15 years 1 months ago
System canvas: a new design environment for embedded DSP and telecommunication systems
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
Praveen K. Murthy, Etan G. Cohen, Steve Rowland
80
Voted
ISIM
2007
14 years 11 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý