Sciweavers

1128 search results - page 82 / 226
» Dynamic Communication Models in Embedded System Co-Simulatio...
Sort
View
ENTCS
2002
84views more  ENTCS 2002»
14 years 9 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner
HICSS
2009
IEEE
106views Biometrics» more  HICSS 2009»
15 years 4 months ago
A Radical Approach to Network-on-Chip Operating Systems
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
Michael Engel, Olaf Spinczyk
ICIP
2007
IEEE
15 years 11 months ago
Monocular Tracking 3D People By Gaussian Process Spatio-Temporal Variable Model
Tracking 3D people from monocular video is often poorly constrained. To mitigate this problem, prior knowledge should be exploited. In this paper, the Gaussian process spatio-temp...
Junbiao Pang, Laiyun Qing, Qingming Huang, Shuqian...
ICICS
2003
Springer
15 years 3 months ago
A Novel Two-Level Trust Model for Grid
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
Tieyan Li, Huafei Zhu, Kwok-Yan Lam
DATE
2003
IEEE
140views Hardware» more  DATE 2003»
15 years 3 months ago
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
Franco Carbognani, Christopher K. Lennard, C. Norr...