4693 search results - page 743 / 939 » Verifying Hybrid Systems |
144
click to vote
CNSR
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a method of integrating constrained sequence (CS) and error control (EC) codes for digital communication systems. This technique is based on multimode coding where a si...
156
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper proposes a low power technique, called SBR (Sign Bit Reduction) which may reduce the switching activity in multipliers as well as data buses. Utilizing the multipliers ...
173
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
189
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
173
click to vote
SDM
2010
SIAM
15 years 7 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...