5550 search results - page 136 / 1110 » Different Approaches to Proof Systems |
159
click to vote
ICALT
2007
IEEE
16 years 23 days ago
2007
IEEE
The vision of a common international education space includes a scenario for the composition of personalised study curricula consisting of modules offered by different universitie...
191
click to vote
ISPDC
2007
IEEE
16 years 21 days ago
2007
IEEE
Scheduling divisible loads in distributed systems is the subject of Divisible Load Theory (DLT). In this paper we show that coalitional game theory is a natural fit for modeling ...
147
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
156
click to vote
MICRO
1992
IEEE
15 years 10 months ago
1992
IEEE
- We present a compilation technique for scheduling parallelism on fine grained asynchronous MIMD systems. The shape scheduling algorithm is introduced that utilizes the flexibilit...
140
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this work, we consider the problem of particle source identification from distributed electron density measurements in fusion plasmas, such as the ones obtained in Tore Supra t...