Sciweavers

440 search results - page 13 / 88
» On Some Systems Controlled by the Structure of Their Memory
Sort
View
IASTEDSEA
2004
13 years 10 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
14 years 3 months ago
A structure preserving minimal representation of a nonlinear port-Hamiltonian system
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
Jacquelien M. A. Scherpen, Arjan van der Schaft
CLUSTER
2001
IEEE
14 years 9 days ago
Clusterfile: A Flexible Physical Layout Parallel File System
This paper presents Clusterfile, a parallel file system that provides parallel file access on a cluster of computers. Existing parallel file systems offer little control over matc...
Florin Isaila, Walter F. Tichy
IPSN
2007
Springer
14 years 2 months ago
Harbor: software-based memory protection for sensor nodes
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
Ram Kumar, Eddie Kohler, Mani B. Srivastava
EMSOFT
2007
Springer
14 years 17 days ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux