4281 search results - page 663 / 857 » How to Disembed a Program |
109
Voted
IWNAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Multi-core processors based SMP servers have become building blocks for Linux clusters in recent years because they can deliver better performance for multi-threaded programs thro...
106
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
137
Voted
PDP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
135
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
111
Voted
WETICE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a service-oriented P2P architecture and related federated metaprogramming model to support development of highly scalable and reliable distributed collaborati...