Sciweavers

3979 search results - page 491 / 796
» Wild control operators
Sort
View
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
AHS
2007
IEEE
269views Hardware» more  AHS 2007»
16 years 1 months ago
Automatic Synthesis of Fault Detection Modules for Mobile Robots
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...
Anders Lyhne Christensen, Rehan O'Grady, Mauro Bir...
171
Voted
DATE
2007
IEEE
110views Hardware» more  DATE 2007»
16 years 1 months ago
Reconfigurable system-on-chip data processing units for space imaging instruments
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...
Björn Fiethe, Harald Michalik, C. Dierker, Bj...
DATE
2007
IEEE
127views Hardware» more  DATE 2007»
16 years 1 months ago
A calculator for Pareto points
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
Marc Geilen, Twan Basten
ICC
2007
IEEE
125views Communications» more  ICC 2007»
16 years 1 months ago
A Novel Concept: Message Driven Frequency Hopping (MDFH)
—Frequency hopping systems have been widely used in military communications to prevent hostile jamming, interception and detection. In traditional frequency hopping (FH) systems,...
Qi Ling, Tongtong Li, Zhi Ding