Search Sciweavers | Sciweavers

5707 search results - page 10 / 1142

» Symbolic Simulation - Techniques and Applications

click to vote

SIMULATION
2010

118views more SIMULATION 2010»

A GPU-Based Application Framework Supporting Fast Discrete-Event Simulation

13 years 6 months ago

Download www.ece.uc.edu

Hyungwook Park, Paul A. Fishwick

claim paper

Read More »

click to vote

FDL
2011
IEEE

191views Natural Language Processing» more FDL 2011»

Integrating system descriptions by clocked guarded actions

12 years 7 months ago

Download www.irisa.fr

—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandee...

claim paper

Read More »

click to vote

ICCD
2007
IEEE

144views Hardware» more ICCD 2007»

Application of symbolic computer algebra to arithmetic circuit verification

14 years 4 months ago

Download www.aoki.ecei.tohoku.ac.jp

Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...

claim paper

Read More »

click to vote

ICDAR
2009
IEEE

101views Document Analysis» more ICDAR 2009»

Vector Representation of Graphs: Application to the Classification of Symbols and Letters

14 years 2 months ago

Download www.cvc.uab.es

Nicolas Sidere, Pierre Héroux, Jean-Yves Ra...

claim paper

Read More »

click to vote

DATE
2002
IEEE

65views Hardware» more DATE 2002»

Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification

14 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers