Sciweavers

3507 search results - page 179 / 702
» Slicing for architectural analysis
Sort
View
ISCA
2011
IEEE
269views Hardware» more  ISCA 2011»
14 years 10 months ago
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...
VLSID
2002
IEEE
109views VLSI» more  VLSID 2002»
16 years 7 months ago
Probabilistic Analysis of Rectilinear Steiner Trees
Steiner tree is a fundamental problem in the automatic interconnect optimization for VLSI design. We present a probabilistic analysis method for constructing rectilinear Steiner t...
Chunhong Chen
CORR
2008
Springer
81views Education» more  CORR 2008»
15 years 6 months ago
Kinematic Analysis of the vertebra of an eel like robot
The kinematic analysis of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger French project, which aims to design and to bu...
Damien Chablat
EDBT
2006
ACM
111views Database» more  EDBT 2006»
16 years 6 months ago
BISON: Providing Business Information Analysis as a Service
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...
Hakan Hacigümüs, James Rhodes, Jeffrey T...
ICC
2007
IEEE
135views Communications» more  ICC 2007»
16 years 28 days ago
Traffic Analysis of Optical Networks Based on Wavelength Division Multiplexed Clockwork Routing
—A new network architecture for high-speed low-latency interconnects is introduced, based on a combination of optical wavelength division multiplexing and the automatic packet se...
Emilio Bravi, David Cotter