Sciweavers

348 search results - page 19 / 70
» Using Case-Based Reasoning to Write Constraint Programs
Sort
View
SIGSOFT
2010
ACM
15 years 5 days 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
ICLP
2007
Springer
15 years 8 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
120
Voted
SIGSOFT
2009
ACM
16 years 3 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 9 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
ASPDAC
2008
ACM
69views Hardware» more  ASPDAC 2008»
15 years 4 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