2830 search results - page 436 / 566 » A Development Tool for E-learning Applications |
HPDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...
107
click to vote
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...