1598 search results - page 266 / 320 » A Unified Computation Model for Functional and Logic Program... |
116
click to vote
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
157
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
136
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
100
click to vote
ENTCS
2007
15 years 4 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
183
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...