Sciweavers

1655 search results - page 163 / 331
» Visual tool for generative programming
Sort
View
POPL
2007
ACM
14 years 10 months ago
Dynamic heap type inference for program understanding and debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
Ben Liblit, Chloë W. Schulze, Marina Polishch...
ICPADS
1994
IEEE
14 years 1 months ago
Stochastic Modeling of Scaled Parallel Programs
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
VIS
2005
IEEE
204views Visualization» more  VIS 2005»
14 years 11 months ago
Differential Protein Expression Analysis via Liquid-Chromatography/Mass-Spectrometry Data Visualization
Differential protein expression analysis is one of the main challenges in proteomics. It denotes the search for proteins, whose encoding genes are differentially expressed under a...
Lars Linsen, Julia Löcherbach, Matthias Berth...
UM
2009
Springer
14 years 4 months ago
Just-in-Time Adaptivity through Dynamic Items
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
Carsten Ullrich, Tianxiang Lu, Erica Melis
ECEASST
2006
92views more  ECEASST 2006»
13 years 9 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...