1216 search results - page 176 / 244 » Hybrid type checking |
MCS
2006
Springer
14 years 11 months ago
2006
Springer
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...
115
click to vote
ENTCS
2002
14 years 11 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
109
click to vote
TSE
1998
14 years 11 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
TIT
2002
14 years 11 months ago
2002
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...