Sciweavers

36320 search results - page 116 / 7264
» From Code to Models
Sort
View
IESS
2007
Springer
156views Hardware» more  IESS 2007»
16 years 15 days ago
Automatic Data Path Generation from C code for Custom Processors
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
Jelena Trajkovic, Daniel Gajski
KBSE
2003
IEEE
15 years 11 months ago
Automatically Inferring Concern Code from Program Investigation Activities
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
Martin P. Robillard, Gail C. Murphy
CODES
2005
IEEE
15 years 12 months ago
Shift buffering technique for automatic code synthesis from synchronous dataflow graphs
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
Hyunok Oh, Nikil D. Dutt, Soonhoi Ha
WWW
2008
ACM
16 years 7 months ago
Protecting web services from remote exploit code: a static analysis approach
We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...
Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu
FASE
2009
Springer
16 years 1 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth