6320 search results - page 1157 / 1264 » Towards Situated Computing |
175
click to vote
EMSOFT
2007
Springer
16 years 15 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
182
click to vote
HPCC
2007
Springer
16 years 15 days ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...
152
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
278
click to vote
IJCNN
2006
IEEE
16 years 11 days ago
2006
IEEE
—This paper presents an Improved Snake Model (ISM) effective for performing fast image segmentation. The work takes advantage of two well-known snake models of Balloon [1] and GG...
166
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
The designs of high-performance processor architectures are moving toward the integration of a large number of multiple processing cores on a single chip. The IBM Cyclops-64 (C64)...