Sciweavers

7890 search results - page 244 / 1578
» The MathSAT 3 System
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 6 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
JPDC
2006
89views more  JPDC 2006»
15 years 6 months ago
A light-weight, collaborative temporary file system for clustered Web servers
Previous studies indicate that I/O could become a performance bottleneck in commodity PC-based cluster Web servers. Current local native file systems do not work well for expensiv...
Jun Wang
TVLSI
2008
144views more  TVLSI 2008»
15 years 6 months ago
Reconfigurable Hardware for High-Security/ High-Performance Embedded Systems: The SAFES Perspective
Abstract--Embedded systems present significant security challenges due to their limited resources and power constraints. This paper focuses on the issues of building secure embedde...
Guy Gogniat, Tilman Wolf, Wayne P. Burleson, Jean-...
JIRS
1998
81views more  JIRS 1998»
15 years 6 months ago
Path Planning and Control of a Cooperative Three-Robot System Manipulating Large Objects
After a brief review of the current research on multi-robot systems, the paper presents a path planning and control scheme for a cooperative three-robot system transferring/manipul...
Costas S. Tzafestas, Platon A. Prokopiou, Spyros G...
PRESENCE
1998
79views more  PRESENCE 1998»
15 years 6 months ago
Navigation System for the Blind: Auditory Display Modes and Guidance
The research we are reporting here is part of our effort to develop a navigation system for the blind. Our long-term goal is to create a portable, self-contained system that will ...
Jack M. Loomis, Reginald G. Golledge, Roberta L. K...