4957 search results - page 334 / 992 » Simplifying Distributed System Development |
109
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
91
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
104
click to vote
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the user...
115
Voted
PARA
1995
Springer
15 years 4 months ago
1995
Springer
This paper describes a proposal for a set of Parallel Basic Linear Algebra Subprograms PBLAS . The PBLAS are targeted at distributed vector-vector, matrix-vector and matrixmatrix...
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...