2419 search results - page 223 / 484 » A Simple DOCSIS Simulator |
146
click to vote
CGI
2006
IEEE
15 years 8 months ago
2006
IEEE
Rendering the structural color of natural objects or modern industrial products in the 3D environment is not possible with RGBbased graphics platforms and software and very time co...
134
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
123
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, an optimization for the classical statistical power estimation method is proposed. This technique is applied to the individual nodes. The optimization is based on t...
123
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...