Sciweavers

741 search results - page 3 / 149
» Steps towards C C: A Language for Interactions
Sort
View
AGTIVE
2007
Springer
14 years 2 months ago
A Single-Step Term-Graph Reduction System for Proof Assistants
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
ASPDAC
2007
ACM
123views Hardware» more  ASPDAC 2007»
13 years 12 months ago
Creating Explicit Communication in SoC Models Using Interactive Re-Coding
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
Pramod Chandraiah, Junyu Peng, Rainer Dömer
ICCS
2004
Springer
14 years 1 months ago
A Comparison of C, MATLAB, and Python as Teaching Languages in Engineering
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
Hans Fangohr
COMPUTER
2007
52views more  COMPUTER 2007»
13 years 8 months ago
Steps Toward a Science of Service Systems
James C. Spohrer, Paul P. Maglio, John H. Bailey, ...
IESS
2007
Springer
92views Hardware» more  IESS 2007»
14 years 2 months ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer