2100 search results - page 291 / 420 » Fundamentals of the problem |
110
Voted
PVM
2004
Springer
15 years 6 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ļ¬...
112
Voted
SPATIALCOGNITION
2004
Springer
15 years 6 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...
108
click to vote
ICAT
2003
IEEE
15 years 6 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...
101
Voted
INFOCOM
2003
IEEE
15 years 6 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...
99
Voted
KBSE
2003
IEEE
15 years 6 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 ...