5042 search results - page 33 / 1009 » Visions for application development on hybrid computing syst... |
144
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
194
click to vote
CORR
2012
Springer
14 years 3 days ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
165
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
147
click to vote
ACCV
1998
Springer
15 years 8 months ago
1998
Springer
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
153
click to vote
AMC
2007
15 years 4 months ago
2007
In a distributed computing system (DCS), we need to allocate a number of modules to different processors for execution. It is desired to maximize the processor synergism in order...