Sciweavers

9595 search results - page 1597 / 1919
» Functional programming in C
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 6 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
SIGOPS
2008
90views more  SIGOPS 2008»
15 years 6 months ago
Virtual servers and checkpoint/restart in mainstream Linux
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
Sukadev Bhattiprolu, Eric W. Biederman, Serge E. H...
IJHR
2007
104views more  IJHR 2007»
15 years 6 months ago
Upper Limb Powered Exoskeleton
—An exoskeleton is an external structural mechanism with joints and links corresponding to those of the human body. With applications in rehabilitation medicine and virtual reali...
Jacob Rosen, Joel C. Perry
IJIPT
2007
116views more  IJIPT 2007»
15 years 6 months ago
Context as autonomic intelligence in a ubiquitous computing environment
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
Markus C. Huebscher, Julie A. McCann, Asher Hoskin...
IJNSEC
2007
109views more  IJNSEC 2007»
15 years 6 months ago
SeReRoM: Secured Reliable Routing Scheme for Multicasting
This paper proposes a multipath routing scheme SeReRoM for a multicast group communication with a single source and multiple destinations. SeReRoM provides an environment that tac...
Rajavelu Srinivasan, V. Vaidehi, K. N. Srivathsan,...
« Prev « First page 1597 / 1919 Last » Next »