Sciweavers

4924 search results - page 577 / 985
» Efficiency Improvement for NTRU
Sort
View
CC
2001
Springer
146views System Software» more  CC 2001»
15 years 11 months ago
Alias Analysis by Means of a Model Checker
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
Vincenzo Martena, Pierluigi San Pietro
CIKM
2001
Springer
15 years 11 months ago
Automatic Recognition of Distinguishing Negative Indirect History Language in Judicial Opinions
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
Jack G. Conrad, Daniel P. Dabney
ICN
2001
Springer
15 years 11 months ago
Evaluation of an Algorithm for Dynamic Resource Distribution in a Differentiated Services Network
New applications have been introduced to the today’s “best-effort” IP networks having different bandwidth and delay guarantee requirements. The IETF is currently focused on D...
Eugenia G. Nikolouzou, Petros Sampatakos, Iakovos ...
HICSS
2000
IEEE
104views Biometrics» more  HICSS 2000»
15 years 11 months ago
Placement of Dispersed Generations Systems for Reduced Losses
Recent improvements in fuel cell technology along with an increasing demand for small generator units have led to renewed interest in dispersed generation units. This work demonst...
T. Griffin, K. Tomsovic, D. Secrest, A. Law
MM
2000
ACM
131views Multimedia» more  MM 2000»
15 years 11 months ago
A virtual media (Vmedia) JPEG 2000 interactive image browser
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
Jin Li, Hong-Hui Sun