Sciweavers

3545 search results - page 416 / 709
» Computational methods for case-cohort studies
Sort
View
ERSHOV
2003
Springer
15 years 12 months ago
The Translation Power of the Futamura Projections
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
Robert Glück
FORMATS
2003
Springer
15 years 12 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
DATE
2010
IEEE
173views Hardware» more  DATE 2010»
15 years 11 months ago
Robust design of embedded systems
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
Martin Lukasiewycz, Michael Glaß, Jürge...
CSMR
2002
IEEE
15 years 11 months ago
Architecture-Centric Software Evolution by Software Metrics and Design Patterns
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
Juha Gustafsson, Jukka Paakki, Lilli Nenonen, A. I...
ISCAS
2002
IEEE
139views Hardware» more  ISCAS 2002»
15 years 11 months ago
Mobility support for Bluetooth public access
Bluetooth technology offers the potential for low-cost, broadband wireless access for a range of mobile and portable devices. It can thus provide for ubiquitous computing across a...
A. Kansal, Uday B. Desai