Sciweavers

348 search results - page 19 / 70
» Using Case-Based Reasoning to Write Constraint Programs
Sort
View
97
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
The last mile: parallel programming and usability
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
Caitlin Sadowski, Andrew Shewmaker
90
Voted
ICLP
2007
Springer
15 years 7 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
107
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
PROMISE
2010
14 years 8 months ago
Case-based reasoning vs parametric models for software quality optimization
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
Adam Brady, Tim Menzies
114
Voted
ASPDAC
2008
ACM
69views Hardware» more  ASPDAC 2008»
15 years 3 months ago
Fast, quasi-optimal, and pipelined instruction-set extensions
Nowadays many customised embedded processors offer the possibility of speeding up an application by implementing it using Application-Specific Functional units (AFUs). However, th...
Ajay K. Verma, Philip Brisk, Paolo Ienne