Sciweavers

5446 search results - page 252 / 1090
» Software Architecture - Introduction
Sort
View
CL
2008
Springer
15 years 6 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
FPL
2007
Springer
105views Hardware» more  FPL 2007»
16 years 22 days ago
An Execution Model for Hardware/Software Compilation and its System-Level Realization
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
Holger Lange, Andreas Koch
CAISE
2003
Springer
15 years 11 months ago
Software Confederations and Alliances
Global processes imply that the information systems have the architecture of virtual peer-to-peer networks of autonomous permanent services. It is typical for IS supporting e-gover...
Jaroslav Král, Michal Zemlicka
ISSS
2000
IEEE
155views Hardware» more  ISSS 2000»
15 years 11 months ago
Intervals in Software Execution Cost Analysis
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
Fabian Wolf, Rolf Ernst
ICICS
1997
Springer
15 years 10 months ago
Enforcing traceability in software
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
Colin Boyd