Sciweavers

1757 search results - page 243 / 352
» Alternating Refinement Relations
Sort
View
105
Voted
KBSE
2005
IEEE
15 years 9 months ago
Visualization-based analysis of quality for large-scale software systems
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...
LCN
2005
IEEE
15 years 9 months ago
ERP-DDRR: An Efficient and Robust Scheduler for Providing Proportional Delay Differentiation in Terabit Networks
In recent years, many research efforts focus on relative differentiated service due to the increasing requirements on quality of service for time-sensitive applications. Most of t...
Chin-Chi Wu, Hsien-Ming Wu, Ding-Jyh Tsaur, Woei L...
SMI
2005
IEEE
15 years 9 months ago
Curvature-based Energy for Simulation and Variational Modeling
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
Denis Zorin
127
Voted
SAC
2005
ACM
15 years 9 months ago
A code compression advisory tool for embedded processors
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
Sreejith K. Menon, Priti Shankar
ASIACRYPT
2005
Springer
15 years 9 months ago
Revealing Additional Information in Two-Party Computations
Abstract. A two-argument function is computed privately by two parties if after the computation, no party should know anything about the other inputs except for what he is able to ...
Andreas Jakoby, Maciej Liskiewicz