7075 search results - page 150 / 1415 » Models and heterogeneous reasoning |
139
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
145
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
183
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
129
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
147
click to vote
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
We are interested in applying and extending existing frameworks for combining output modalities for adaptations of multimodal content on heterogeneous devices based on user and de...