Sciweavers

7628 search results - page 50 / 1526
» Automatic Generation of the C
Sort
View
CC
2003
Springer
250views System Software» more  CC 2003»
15 years 9 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...
HICSS
2008
IEEE
308views Biometrics» more  HICSS 2008»
15 years 10 months ago
The 8C Framework as a Reference Model for Collaborative Value Webs in the Context of Web 2.0
After a decade of innovations and advancement in Internet technologies (roughly from early 1990s to early 2000s), the first generation of Web-based
T. Andrew Yang, Dan J. Kim, Vishal Dhalwani, Tri K...
ASPDAC
2007
ACM
115views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Model-based Programming Environment of Embedded Software for MPSoC
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
Soonhoi Ha
ACL
1997
15 years 5 months ago
Learning Features that Predict Cue Usage
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...
Barbara Di Eugenio, Johanna D. Moore, Massimo Paol...
DAC
2003
ACM
16 years 5 months ago
Compiler-generated communication for pipelined FPGA applications
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz