Sciweavers

3814 search results - page 355 / 763
» Operating system support for multimedia systems
Sort
View
CSFW
2005
IEEE
16 years 13 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
RTCSA
2005
IEEE
16 years 11 days ago
Distributed Real-Time Processing for Humanoid Robots
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishika...
FPL
2005
Springer
96views Hardware» more  FPL 2005»
16 years 10 days ago
Dynamic Reconfiguration with hardwired Networks-on-Chip on future FPGAs
Due to their layered approach, Networks-on-Chip (NoC) are a promising communication backbone in the field of heterogeneous dynamically reconfigurable systems. In this paper a fu...
Ronald Hecht, Stephan Kubisch, Andreas Herrholtz, ...
166
Voted
IV
2000
IEEE
99views Visualization» more  IV 2000»
15 years 11 months ago
DILEWA: The DIstributed Learning Environment Without Avatars
Nowadays multi-user VR systems are mostly aimed to social interaction, whereas exploitation of shared virtual environment for educational purposes has been mainly left aside. We i...
Michal Masa, Jiri Zara
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch