Sciweavers

510 search results - page 52 / 102
» An IDE for software development using tabular expressions
Sort
View
CC
2004
Springer
142views System Software» more  CC 2004»
15 years 5 months ago
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
Philippe Clauss, Irina Tchoupaeva
FQAS
2000
Springer
80views Database» more  FQAS 2000»
15 years 3 months ago
A Knowledge Scout for Discovering Medical Patterns: Methodology and System SCAMP
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
Kenneth A. Kaufman, Ryszard S. Michalski
VAMOS
2010
Springer
15 years 1 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
AOSD
2008
ACM
15 years 1 months ago
Tool-supported refactoring of aspect-oriented programs
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
Jan Wloka, Robert Hirschfeld, Joachim Hänsel
ASWSD
2004
Springer
15 years 5 months ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ