Sciweavers

265 search results - page 21 / 53
» Learning to Support Constraint Programmers
Sort
View
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 5 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
15 years 3 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 11 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 ...
150
Voted
JKM
2007
203views more  JKM 2007»
15 years 4 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
16 years 5 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