Sciweavers

6279 search results - page 384 / 1256
» Studies in Solution Sampling
Sort
View
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 6 months ago
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satis...
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. ...
ISCA
2011
IEEE
287views Hardware» more  ISCA 2011»
14 years 10 months ago
Scalable power control for many-core architectures running multi-threaded applications
Optimizing the performance of a multi-core microprocessor within a power budget has recently received a lot of attention. However, most existing solutions are centralized and cann...
Kai Ma, Xue Li, Ming Chen, Xiaorui Wang
CHI
2002
ACM
16 years 7 months ago
Applying patterns of cooperative interaction to work (re)design: e-government and planning
This paper presents patterns of cooperative interaction derived from ethnographic studies of cooperative work as devices for generalisation, re-use and design. These patterns cons...
David Martin, Mark Rouncefield, Ian Sommerville
SOCO
2009
Springer
16 years 1 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
HICSS
2008
IEEE
99views Biometrics» more  HICSS 2008»
16 years 1 months ago
Knowledge Management in Renewing Software Development Processes
In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
Marianne Kukko, Nina Helander, Pasi Virtanen