Sciweavers

406 search results - page 47 / 82
» Fast Increment Registers
Sort
View
PADL
1999
Springer
15 years 9 months ago
CHAT: The Copy-Hybrid Approach to Tabling
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
Bart Demoen, Konstantinos F. Sagonas
ASM
2008
ASM
15 years 7 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
ICDCN
2010
Springer
15 years 3 months ago
K-Directory Community: Reliable Service Discovery in MANET
Abstract. Service discovery in MANET suffers from frequent service unavailability due to failures of service providers or directory nodes. Ensuring network-wide service availabilit...
Vaskar Raychoudhury, Jiannong Cao, Weigang Wu, Yi ...
FSE
2005
Springer
112views Cryptology» more  FSE 2005»
15 years 10 months ago
How to Maximize Software Performance of Symmetric Primitives on Pentium III and 4 Processors
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
Mitsuru Matsui, Sayaka Fukuda
149
Voted
PG
2003
IEEE
15 years 10 months ago
Interactive 3D Model Acquisition and Registration
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
Yushuang Liu, Wolfgang Heidrich