8398 search results - page 1334 / 1680 » Optimal Software Testing |
167
click to vote
EXPCS
2007
15 years 10 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
164
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...
185
Voted
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
189
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
195
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
This paper intends to introduce the development of a terminal agent for QoS measurement that is suitable for an NGN environment, and to summarize the results of its performance tes...