2316 search results - page 323 / 464 » The many forms of hypercomputation |
154
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
129
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
172
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Gene clustering based on microarray data provides useful functional information to the working biologists. Many current gene-clustering algorithms rely on Euclidean-based distance...
163
Voted
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
125
Voted
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
Predicated execution can eliminate hard to predict branches and help to enable instruction level parallelism. Many current predication variants exist where the result update is co...