Sciweavers

34229 search results - page 307 / 6846
» Power-aware computing systems
Sort
View
181
Voted
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 8 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
168
Voted
ESWA
2008
123views more  ESWA 2008»
15 years 3 months ago
Computing context-dependent temporal diagnosis in complex domains
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
José M. Juárez, Manuel Campos, Jos&e...
GG
2008
Springer
15 years 5 months ago
Workshop on Graph Computation Models
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
Mohamed Mosbah, Annegret Habel
131
Voted
NCA
2008
IEEE
15 years 11 months ago
Designing Mechanisms for Reliable Internet-based Computing
In this work, using a game-theoretic approach, costsensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based mast...
Antonio Fernández Anta, Chryssis Georgiou, ...