15253 search results - page 2792 / 3051 » Integer-Programming Software Systems |
115
Voted
PPSWR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
153
click to vote
PVM
2004
Springer
15 years 9 months ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
128
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
137
Voted
SCOPES
2004
Springer
15 years 9 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
145
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...