4184 search results - page 126 / 837 » Names of Our Lives |
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
MDM
2007
Springer
15 years 7 months ago
2007
Springer
We envision that in some wireless sensor network applications, such as environmental monitoring, assisted living, and industrial control, handheld devices will be used from time t...
MLMI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
114
click to vote
GRID
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a threaded parallel data streaming approach using Logistical Networking (LN) to transfer multi-terabyte simulation data from computers at NERSC to our local anal...
106
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the ...