Sciweavers

5019 search results - page 209 / 1004
» Computing in Quotient Groups
Sort
View
ENTCS
2007
99views more  ENTCS 2007»
15 years 6 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
JPDC
2006
120views more  JPDC 2006»
15 years 6 months ago
HeteroMPI: Towards a message-passing library for heterogeneous networks of computers
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
Alexey L. Lastovetsky, Ravi Reddy
HICSS
2005
IEEE
91views Biometrics» more  HICSS 2005»
16 years 5 days ago
Size Does Matter in Computer Collaboration: Heterogeneous Platform Effects on Human-Human Interaction
Because today’s workforce is highly mobile, small wireless devices are being used to support mobile work collaboration. However, do computer platform differences affect such col...
Marilyn Tremaine, Aleksandra Sarcevic, Dezhi Wu, M...
IPSN
2005
Springer
16 years 2 days ago
Robust computation of aggregates in wireless sensor networks: distributed randomized algorithms and analysis
A wireless sensor network consists of a large number of small, resource-constrained devices and usually operates in hostile environments that are prone to link and node failures. ...
Jen-Yeu Chen, Gopal Pandurangan, Dongyan Xu
IASTEDSE
2004
15 years 8 months ago
An authorization and access control scheme for pervasive computing
The existence of a central security authority is too restrictive for pervasive computing environments. Existing distributed security schemes fail in a pervasive computing environm...
Linda Staffans, Titos Saridakis