6939 search results - page 1136 / 1388 » Algorithm Engineering for Parallel Computation |
131
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
137
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Helping computer users rapidly locate files in their folder hierarchies has become an important research topic in today’s intelligent user interface design. This paper reports o...
144
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
112
click to vote
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
132
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...