Sciweavers

1005 search results - page 114 / 201
» Agile Methods for Embedded Systems
Sort
View
124
Voted
RTCSA
2008
IEEE
15 years 9 months ago
Discrete Frequency Selection of Frame-Based Stochastic Real-Time Tasks
Energy-efficient real-time task scheduling has been actively explored in the past decade. Different from the past work, this paper considers schedulability conditions for stochas...
Vandy Berten, Chi-Ju Chang, Tei-Wei Kuo
IEEEICCI
2002
IEEE
15 years 7 months ago
Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
Nicolae Varachiu, Cynthia Karanicolas, Mihaela Uli...
CASES
2005
ACM
15 years 4 months ago
Intra-task scenario-aware voltage scheduling
Modern embedded applications usually have real-time constraints and they have requirements for low energy consumption. At system level, intra-task dynamic voltage scaling (DVS) is...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...
ISOLA
2010
Springer
15 years 1 months ago
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
Nikolay Stoimenov, Samarjit Chakraborty, Lothar Th...
107
Voted
SPIN
2010
Springer
15 years 1 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki