Sciweavers

265 search results - page 21 / 53
» Learning to Support Constraint Programmers
Sort
View
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
14 years 9 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
CODES
2010
IEEE
14 years 7 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
SEKE
2009
Springer
15 years 4 months ago
Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine Learning
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
Stefan Axelsson, Dejan Baca, Robert Feldt, Darius ...
JKM
2007
203views more  JKM 2007»
14 years 9 months ago
Motivation, incentives and organisational culture
Purpose – The purpose of this paper, drawing as it does on earlier research, is to provide the context for a discussion on the use of rewards and recognition programmes in knowl...
Patricia Milne
ICSE
2004
IEEE-ACM
15 years 9 months ago
Finding Latent Code Errors via Machine Learning over Program Executions
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
Yuriy Brun, Michael D. Ernst