2948 search results - page 175 / 590 » More Principled Design of Pervasive Computing Systems |
160
click to vote
AISC
1998
Springer
15 years 8 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
170
click to vote
ACMMSP
2006
ACM
15 years 10 months ago
2006
ACM
Stencil-based kernels constitute the core of many scientific applications on block-structured grids. Unfortunately, these codes achieve a low fraction of peak performance, due pr...
125
click to vote
PVM
2005
Springer
15 years 10 months ago
2005
Springer
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...
118
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
134
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...