8398 search results - page 1286 / 1680 » Optimal Software Testing |
177
click to vote
IOLTS
2003
IEEE
16 years 6 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
214
click to vote
ISMAR
2003
IEEE
16 years 5 days ago
2003
IEEE
ARToolKit programmers are familiar with the kanji symbols supplied with the distribution. Most of them have do not know what these kanji symbols mean. We propose a piece of educat...
177
click to vote
SISW
2003
IEEE
16 years 5 days ago
2003
IEEE
Several architectures have been recently proposed that store relational data in encrypted form on untrusted relational databases. Such architectures permit the creation of novel I...
195
click to vote
ERLANG
2003
ACM
16 years 5 days ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
194
click to vote
CC
2003
Springer
16 years 4 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...