Sciweavers

34229 search results - page 123 / 6846
» Power-aware computing systems
Sort
View
226
Voted
INFORMATICALT
2007
92views more  INFORMATICALT 2007»
15 years 2 months ago
An Optimization of System for Automatic Recognition of Ischemic Stroke Areas in Computed Tomography Images
Abstract. The paper considers application of stochastic optimization to system of automatic recognition of ischemic stroke area on computed tomography (CT) images. The algorithm of...
Darius Grigaitis, Vaida Bartkute, Leonidas Sakalau...
104
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 7 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
15 years 7 months ago
An Object Oriented Design Method for Reconfigurable Computing Systems
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
Martyn Edwards, Peter Green
123
Voted
DAGSTUHL
2008
15 years 4 months ago
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio...
IJCAI
2007
15 years 4 months ago
Robust Human-Computer Interaction System Guiding a User by Providing Feedback
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
Michael S. Ryoo, Jake K. Aggarwal