401 search results - page 33 / 81 » Types for describing coordinated data structures |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
MVA
1994
13 years 9 months ago
1994
This paper describes the development of an anthropomorphic visual sensor with retina-like structure to perform the polar mapping. The sensor consists of a dove prism for imagerota...
ICDM
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
SCI
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...