Sciweavers

7811 search results - page 428 / 1563
» computer 2004
Sort
View
AMAST
2004
Springer
16 years 5 days ago
Generic Exception Handling and the Java Monad
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
Lutz Schröder, Till Mossakowski
PERVASIVE
2004
Springer
16 years 3 days ago
Adaptive On-Device Location Recognition
Abstract. Location-awareness is useful for mobile and pervasive computing. We present a novel adaptive framework for recognizing personally important locations in cellular networks...
Kari Laasonen, Mika Raento, Hannu Toivonen
MHCI
2004
Springer
16 years 3 days ago
Mobile Support for Team-Based Field Surveys
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...
Malcolm Hall, Philip D. Gray
SC
2004
ACM
16 years 5 days ago
Ultrascalable Implicit Finite Element Analyses in Solid Mechanics with over a Half a Billion Degrees of Freedom
The solution of elliptic diffusion operators is the computational bottleneck in many simulations in a wide range of engineering and scientific disciplines. We present a truly sca...
Mark F. Adams, Harun H. Bayraktar, Tony M. Keaveny...
SC
2004
ACM
16 years 5 days ago
Unlocking the Performance of the BlueGene/L Supercomputer
The BlueGene/L supercomputer is expected to deliver new levels of application performance by providing a combination of good single-node computational performance and high scalabi...
George Almási, Siddhartha Chatterjee, Alan ...