Sciweavers

4763 search results - page 653 / 953
» On the Execution of Deep Models
Sort
View
197
Voted
IPPS
2000
IEEE
15 years 11 months ago
Fault Tolerant Wide-Area Parallel Computing
Executing parallel applications across distributed networks introduces the problem of fault tolerance. A viable solution for fault tolerance must keep overhead manageable and not c...
Jon B. Weissman
PACS
2000
Springer
110views Hardware» more  PACS 2000»
15 years 11 months ago
Compiler-Directed Dynamic Frequency and Voltage Scheduling
Dynamic voltage and frequency scaling has been identified as one of the most effective ways to reduce power dissipation. This paper discusses a compilation strategy that identifies...
Chung-Hsing Hsu, Ulrich Kremer, Michael S. Hsiao
187
Voted
AADEBUG
1995
Springer
15 years 11 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
193
Voted
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 11 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
EUROPAR
1995
Springer
15 years 11 months ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro