Sciweavers

10669 search results - page 1743 / 2134
» Software - Implemented Self-healing System
Sort
View
WIMOB
2008
IEEE
16 years 1 months ago
A Protocol for Pervasive Distributed Computing Reliability
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
Alberto Ferrante, Roberto Pompei, Anastasia Stulov...
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 1 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
AH
2008
Springer
16 years 1 months ago
Towards Computerized Adaptive Assessment Based on Structured Tasks
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
Jozef Tvarozek, Milos Kravcik, Mária Bielik...
DATE
2007
IEEE
99views Hardware» more  DATE 2007»
16 years 1 months ago
Very wide register: an asymmetric register file organization for low power embedded processors
In current embedded systems processors, multi-ported register files are one of the most power hungry parts of the processor, even when they are clustered. This paper presents a n...
Praveen Raghavan, Andy Lambrechts, Murali Jayapala...
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 1 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
« Prev « First page 1743 / 2134 Last » Next »