5465 search results - page 429 / 1093 » Assigning Types to Processes |
175
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Through the algorthmic design patterns of data parallelism and task parallelism, the graphics processing unit (GPU) offers the potential to vastly accelerate discovery and innovat...
175
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
143
Voted
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
132
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Type-ahead search is a new information-access paradigm, in which systems can find answers to keyword queries “onthe-fly” as a user types in a query. It improves traditional ...
141
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...