Sciweavers

1362 search results - page 83 / 273
» The Projection of Systolic Programs
Sort
View
PLDI
2009
ACM
16 years 5 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...
TKDE
2012
245views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Semi-Supervised Maximum Margin Clustering with Pairwise Constraints
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
Hong Zeng, Yiu-ming Cheung
CC
2005
Springer
120views System Software» more  CC 2005»
15 years 10 months ago
Data Slicing: Separating the Heap into Independent Regions
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
Jeremy Condit, George C. Necula
REFSQ
2007
Springer
15 years 10 months ago
Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
C. Li, J. M. van den Akker, Sjaak Brinkkemper, Gui...
SEKE
2007
Springer
15 years 10 months ago
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
Raimund Moser, Witold Pedrycz, Giancarlo Succi