Sciweavers

7576 search results - page 1346 / 1516
» UNIX as an Application Program
Sort
View
163
Voted
HPCN
1997
Springer
15 years 9 months ago
Ninf: A Network Based Information Library for Global World-Wide Computing Infrastructure
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
Mitsuhisa Sato, Hidemoto Nakada, Satoshi Sekiguchi...
172
Voted
VECPAR
2000
Springer
15 years 9 months ago
A SCOOPP Evaluation on Packing Parallel Objects in Run-Time
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
João Luís Sobral, Alberto José...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 9 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
164
Voted
HPCN
1995
Springer
15 years 9 months ago
Discrete optimisation and real-world problems
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
Josef Kallrath, Anna Schreieck
ICTAI
1997
IEEE
15 years 9 months ago
Prime Implicant Computation Using Satisfiability Algorithms
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
Vasco M. Manquinho, Paulo F. Flores, João P...
« Prev « First page 1346 / 1516 Last » Next »