Sciweavers

2797 search results - page 99 / 560
» Code query by example
Sort
View
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 8 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 4 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
119
Voted
ADAEUROPE
2007
Springer
15 years 4 months ago
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
Diego Alonso, Cristina Vicente-Chicote, Pedro S&aa...
90
Voted
ICMLA
2007
15 years 4 months ago
Automatic medical coding of patient records via weighted ridge regression
In this paper, we apply weighted ridge regression to tackle the highly unbalanced data issue in automatic largescale ICD-9 coding of medical patient records. Since most of the ICD...
Jian-Wu Xu, Shipeng Yu, Jinbo Bi, Lucian Vlad Lita...
139
Voted
APPROX
2009
Springer
135views Algorithms» more  APPROX 2009»
15 years 9 months ago
Tolerant Linearity Testing and Locally Testable Codes
Abstract. We study tolerant linearity testing under general distributions. Given groups G and H, a distribution µ on G, and oracle access to a function f : G → H, we consider th...
Swastik Kopparty, Shubhangi Saraf