Sciweavers

126 search results - page 15 / 26
» Functional Blueprints: An Approach to Modularity in Grown Sy...
Sort
View
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
14 years 1 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger
CVIU
2007
114views more  CVIU 2007»
13 years 7 months ago
Robust real-time vision for a personal service robot
We address visual perception for personal service robotic systems in the home. We start by identifying the main functional modules and their relationships. This includes self-loca...
Gérard G. Medioni, Alexandre R. J. Fran&cce...
POPL
2009
ACM
14 years 8 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
ISNN
2007
Springer
14 years 1 months ago
Neural-Based Separating Method for Nonlinear Mixtures
A neural-based method for source separation in nonlinear mixture is proposed in this paper. A cost function, which consists of the mutual information and partial moments of the out...
Ying Tan
FPGA
2000
ACM
141views FPGA» more  FPGA 2000»
13 years 11 months ago
Tolerating operational faults in cluster-based FPGAs
In recent years the application space of reconfigurable devices has grown to include many platforms with a strong need for fault tolerance. While these systems frequently contain ...
Vijay Lakamraju, Russell Tessier