Sciweavers

43264 search results - page 8144 / 8653
» Comparing models of computation
Sort
View
BROADNETS
2006
IEEE
15 years 10 months ago
SLIP-IN Architecture: A new Hybrid Optical Switching Scheme
— In this paper, we present a new hybrid switching architecture, termed as SLIP-IN, that combines electronic packet/burst with optical circuit switching. SLIP-IN architecture tak...
Kostas Ramantas, Kostas Christodoulopoulos, Kyriak...
CODES
2006
IEEE
15 years 10 months ago
Resource virtualization in real-time CORBA middleware
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
Christopher D. Gill
CONIELECOMP
2006
IEEE
15 years 10 months ago
Integrating Advanced GLSL Shading and XML Agents into a Learning-Oriented 3D Engine
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
Edgar Velázquez-Armendáriz, Erik Mil...
CSFW
2006
IEEE
15 years 10 months ago
Decentralized Robustness
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
Stephen Chong, Andrew C. Myers
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
15 years 10 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
Namrata Shekhar, Priyank Kalla, Florian Enescu
« Prev « First page 8144 / 8653 Last » Next »