Sciweavers

5707 search results - page 10 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
104
Voted
SIMULATION
2010
118views more  SIMULATION 2010»
15 years 6 days ago
A GPU-Based Application Framework Supporting Fast Discrete-Event Simulation
Hyungwook Park, Paul A. Fishwick
FDL
2011
IEEE
14 years 1 months ago
Integrating system descriptions by clocked guarded actions
—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...
ICCD
2007
IEEE
144views Hardware» more  ICCD 2007»
15 years 10 months ago
Application of symbolic computer algebra to arithmetic circuit verification
Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
70
Voted
ICDAR
2009
IEEE
15 years 8 months ago
Vector Representation of Graphs: Application to the Classification of Symbols and Letters
Nicolas Sidere, Pierre Héroux, Jean-Yves Ra...
51
Voted
DATE
2002
IEEE
65views Hardware» more  DATE 2002»
15 years 6 months ago
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng,...