Sciweavers

3256 search results - page 57 / 652
» Mixin-Based Programming in C
Sort
View
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
13 years 4 months ago
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
Feng Li, Antoniu Pop, Albert Cohen
TACO
2008
52views more  TACO 2008»
15 years 2 months ago
Object co-location and memory reuse for Java programs
Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang
ASSETS
2000
ACM
15 years 6 months ago
Programming by voice, VocalProgramming
Stephen C. Arnold, Leo Mark, John Goldthwaite
CODES
2008
IEEE
15 years 4 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
15 years 7 months ago
Experience with ANSI C Markup Language for a Cross-Referencer
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
Hayato Kawashima, Katsuhiko Gondow