Sciweavers

2687 search results - page 107 / 538
» On the Conversion between Number Systems
Sort
View
AISC
2008
Springer
15 years 6 months ago
Mediated Access to Symbolic Computation Systems
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
Jónathan Heras, Vico Pascual, Julio Rubio
ISCAS
2008
IEEE
101views Hardware» more  ISCAS 2008»
15 years 11 months ago
A serial communication infrastructure for multi-chip address event systems
— In recent years there have been an increasing number of research groups that have begun to develop multi-chip address-event systems. The communication protocol used to transmit...
Daniel Bernhard Fasnacht, Adrian M. Whatley, Giaco...
CW
2005
IEEE
15 years 10 months ago
A Capability-Based Transparent Cryptographic File System
Data on the file system in mobile internetworked working environments are exposed data to a number of threats ranging from physical theft of storage devices to industrial espiona...
Frank Graf, Stephen D. Wolthusen
SIGOPSE
2004
ACM
15 years 10 months ago
Constructing component-based extension interfaces in legacy systems code
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, ...
CCS
2006
ACM
15 years 8 months ago
Scalable group communication system for scalable trust
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
Krzysztof Ostrowski, Kenneth P. Birman