Sciweavers

6109 search results - page 403 / 1222
» Ubiquitous Web Applications
Sort
View
ITC
2003
IEEE
135views Hardware» more  ITC 2003»
16 years 2 days ago
MEMS Design And Verification
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
Tamal Mukherjee
GIR
2007
ACM
15 years 10 months ago
Visualization of geographic query results for small screen devices
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
Maria Beatriz Carmo, Ana Paula Afonso, Paulo Pombi...
FMCAD
2009
Springer
15 years 10 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
EUROPAR
2006
Springer
15 years 10 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...
DIAGRAMS
2008
Springer
15 years 8 months ago
Cognitive Methods for Visualizing Space, Time, and Agents
Visualizations of space, time, and agents (or objects) are ubiquitous in science, business, and everyday life, from weather maps to scheduling meetings. Effective communications, i...
Angela M. Kessell, Barbara Tversky