Sciweavers

18572 search results - page 398 / 3715
» High performance C
Sort
View
158
Voted
ECRA
2007
69views more  ECRA 2007»
15 years 6 months ago
NetPay: An off-line, decentralized micro-payment system for thin-client applications
Micro-payment systems have become popular in recent times as the desire to support low-value, high-volume transactions of text, music, clip-art, video and other media has increase...
Xiaoling Dai, John C. Grundy
SPIN
2010
Springer
15 years 5 months ago
The SpinJa Model Checker
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
Marc de Jonge, Theo C. Ruys
HOTNETS
2010
15 years 1 months ago
Proteus: a topology malleable data center network
Full-bandwidth connectivity between all servers of a data center may be necessary for all-to-all traffic patterns, but such interconnects suffer from high cost, complexity, and en...
Ankit Singla, Atul Singh, Kishore Ramachandran, Le...
ICIP
2001
IEEE
16 years 8 months ago
Temporal interpolation of video sequences using zonal based algorithms
Temporal interpolation has been recently proposed as a solution for increasing temporal resolution or even for predicting missing or corrupted frames within a video sequence. In t...
Alexis M. Tourapis, Hye-Yeon Cheong, Ming L. Liou,...
ISBI
2004
IEEE
16 years 7 months ago
Surface Matching Algorithms for Computer Aided Reconstructive Plastic Surgery
High energy traumatic impact of the craniofacial skeleton is an inevitable consequence of today's fast paced society. The work presented in this paper leverages recent advanc...
Suchendra M. Bhandarkar, Ananda S. Chowdhury, Yaro...