Sciweavers

3256 search results - page 57 / 652
» Mixin-Based Programming in C
Sort
View
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
12 years 3 days 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»
13 years 9 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
14 years 2 months ago
Programming by voice, VocalProgramming
Stephen C. Arnold, Leo Mark, John Goldthwaite
CODES
2008
IEEE
13 years 11 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»
14 years 3 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