2774 search results - page 471 / 555 » Query-Driven Program Testing |
152
Voted
ICPP
1995
IEEE
15 years 4 months ago
1995
IEEE
– In this paper we present experiments with a class of graph partitioning algorithms that reduce the size of the graph by collapsing vertices and edges, partition the smaller gra...
85
Voted
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...
122
Voted
IWANN
1995
Springer
15 years 4 months ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
121
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...
121
click to vote
AUTONOMICS
2008
ACM
15 years 2 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...