1054 search results - page 109 / 211 » From a Verified Kernel towards Verified Systems |
179
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedureās stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
187
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
As a reliable approach to human identification, iris recognition has received increasing attention in recent years. In the literature of iris recognition, local feature of image de...
150
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of suļ...
178
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
207
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-ļ¬ve years in the context of logic programming. We consider the appro...