Sciweavers

13489 search results - page 606 / 2698
» Operating System
Sort
View
163
Voted
SAFECOMP
2004
Springer
16 years 12 days ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
SGP
2004
15 years 9 months ago
Laplacian Surface Editing
Surface editing operations commonly require geometric details of the surface to be preserved as much as possible. We argue that geometric detail is an intrinsic property of a surf...
Olga Sorkine, Daniel Cohen-Or, Yaron Lipman, Marc ...
PDP
2007
IEEE
16 years 1 months ago
SockMi: a solution for migrating TCP/IP connections
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
Massimo Bernaschi, Francesco Casadei, Paolo Tassot...
NPC
2004
Springer
16 years 13 days ago
I/O Response Time in a Fault-Tolerant Parallel Virtual File System
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
Dan Feng, Hong Jiang, Yifeng Zhu
193
Voted
TVLSI
2010
15 years 1 months ago
Low-Power Multimedia System Design by Aggressive Voltage Scaling
Mobile multimedia systems are growing in complexity, scalability and thus correspondingly in their implementation challenges. By design, these systems have built-in error resilienc...
Fadi J. Kurdahi, Ahmed M. Eltawil, Kang Yi, Stanle...