20175 search results - page 50 / 4035 » Is abstraction the key to computing |
CORR
2008
Springer
15 years 19 days ago
2008
Springer
Abstract
123
click to vote
ENTCS
2008
15 years 18 days ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
118
click to vote
GRID
2006
Springer
15 years 16 days ago
2006
Springer
Abstract Parallel asynchronous iterative algorithms relax synchronization and communication requirements, and can potentially extend Desktop Grids beyond embarrassingly parallel ap...
123
click to vote
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
94
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...