1598 search results - page 203 / 320 » A Unified Computation Model for Functional and Logic Program... |
226
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
199
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...
189
click to vote
APSCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
214
click to vote
HLPPP
1991
15 years 10 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
157
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...