Sciweavers

3796 search results - page 497 / 760
» Presentations by Programmers for Programmers
Sort
View
111
Voted
SCAM
2008
IEEE
15 years 10 months ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella
121
Voted
SCAM
2008
IEEE
15 years 10 months ago
Exploiting the Correspondence between Micro Patterns and Class Names
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
Jeremy Singer, Chris C. Kirkham
160
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 10 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
118
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
Jui-Nan Lin, Jiun-Long Huang
119
Voted
ETS
2007
IEEE
105views Hardware» more  ETS 2007»
15 years 10 months ago
Communication-Centric SoC Debug Using Transactions
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
Bart Vermeulen, Kees Goossens, Remco van Steeden, ...