1642 search results - page 222 / 329 » SPINning Parallel Systems Software |
EICS
2009
ACM
14 years 4 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
ICDCN
2010
Springer
14 years 4 months ago
2010
Springer
The proliferation of new modes of communication and collaboration has resulted in an explosion of digital information. To turn this challenge into an opportunity, the IT industry ...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. R...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...