5707 search results - page 38 / 1142 » Symbolic Simulation - Techniques and Applications |
126
click to vote
HPCC
2007
Springer
15 years 3 months ago
2007
Springer
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
100
click to vote
DAGSTUHL
2008
15 years 1 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
109
click to vote
SEMWIKI
2008
15 years 1 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
It is well known that Space-Time Block Codes (STBCs) obtained from Orthogonal Designs (ODs) are singlesymbol-decodable (SSD) and from Quasi-Orthogonal Designs (QODs) are double-sy...
103
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...