1837 search results - page 2 / 368 » Abstraction and the C Machine Model |
PROCEDIA
2010
13 years 1 days ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
ECTEL
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
ASPDAC
2009
ACM
13 years 10 months ago
2009
ACM
and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract Communication and Interconnect Modeling for MPSoCand Interconn...