Sciweavers

13489 search results - page 300 / 2698
» Operating System
Sort
View
DSN
2006
IEEE
15 years 10 months ago
Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
Jennie Palmer, Isi Mitrani
FPL
2007
Springer
141views Hardware» more  FPL 2007»
16 years 24 days ago
Analysis of Kernel Effects on Optimisation Mismatch in Cache Reconfiguration
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
John Shield, Peter Sutton, Philip Machanick
DATE
2006
IEEE
120views Hardware» more  DATE 2006»
16 years 21 days ago
System-level scheduling on instruction cell based reconfigurable systems
This paper presents a new operation chaining reconfigurable scheduling algorithm (CRS) based on list scheduling that maximizes instruction level parallelism available in distribut...
Ying Yi, Ioannis Nousias, Mark Milward, Sami Khawa...
LPAR
2000
Springer
15 years 10 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye
TC
2011
15 years 1 months ago
Hybrid Binary-Ternary Number System for Elliptic Curve Cryptosystems
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
Jithra Adikari, Vassil S. Dimitrov, Laurent Imbert