2100 search results - page 291 / 420 » Fundamentals of the problem |
PVM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
SPATIALCOGNITION
2004
Springer
14 years 2 months ago
2004
Springer
Allenās interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
ICAT
2003
IEEE
14 years 2 months ago
2003
IEEE
Light ļ¬eld rendering (LFR) is a fundamental method for generating new views from a set of pre-acquired images. We use densely-aligned cameras for the process of acquiring the se...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
ā In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...