172 search results - page 19 / 35 » A classification of design steps and their verification |
CONEXT
2006
ACM
15 years 1 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
89
Voted
WSCG
2004
14 years 11 months ago
2004
Design of an anisotropic diffusion-based filter that performs Bayesian classification for automatic selection of a proper weight for fairing polygon meshes is proposed. The data a...
MSWIM
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
PEWASUN
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present EDAT, a tool designed for the analysis of trace files from network simulations and experiments. The EDAT framework encapsulates analysis steps in extensib...
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...