16190 search results - page 2724 / 3238 » Applicative programming with effects |
119
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
139
click to vote
ICMCS
1996
IEEE
15 years 8 months ago
1996
IEEE
The use of bandwidth smoothing techniques for the delivery of prerecorded compressed video has been shown to be an effective technique in reducing the network bandwidth requiremen...
181
click to vote
ICPP
1996
IEEE
15 years 8 months ago
1996
IEEE
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...
129
Voted
EPIA
1997
Springer
15 years 8 months ago
1997
Springer
GenSATis a family of local hill-climbing procedures for solving propositional satisfiability problems.We restate it as a navigational search process performed on an N-dimensionalc...
126
Voted
SIGCSE
1996
ACM
15 years 8 months ago
1996
ACM
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...