15840 search results - page 2952 / 3168 » The Control of Synchronous Systems |
158
click to vote
ENTCS
2008
15 years 5 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
142
Voted
BIOINFORMATICS
2006
15 years 5 months ago
2006
Motivation: In the Affymetrix GeneChip system, preprocessing occurs before one obtains expression level measurements. Because the number of competing preprocessing methods was lar...
117
Voted
GEOINFORMATICA
2008
15 years 5 months ago
2008
Recent growth of geospatial information online has made it possible to access various maps and orthoimagery. Conflating these maps and imagery can create images that combine the vi...
134
click to vote
CCR
2006
15 years 5 months ago
2006
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
124
click to vote
COMCOM
2006
15 years 5 months ago
2006
Proportional delay differentiation (PDD) model is an important approach for relative differentiated services provisioning on the Internet. It aims to maintain pre-specified packet ...