Sciweavers

3844 search results - page 169 / 769
» Modular interpreted systems
Sort
View
ICINCO
2007
95views Robotics» more  ICINCO 2007»
15 years 5 months ago
A multirobot system for distributed sensing
Abstract— This paper presents a modular multirobot system developed for distributed sensing experiments. The multirobot system is composed of modular small size robots, which hav...
Janne Haverinen, Anssi Kemppainen, Janne Kivijakol...
123
Voted
EMSOFT
2004
Springer
15 years 9 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
120
Voted
FROCOS
2007
Springer
15 years 9 months ago
Combining Proof-Producing Decision Procedures
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
114
Voted
JUCS
2008
129views more  JUCS 2008»
15 years 3 months ago
Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments
: This paper analyses the requirements of automation and adaptation in the so called perceptive environments. These environments are places with the ability of perceiving the conte...
Manuel García-Herranz, Pablo A. Haya, Abrah...
123
Voted
JSC
2010
155views more  JSC 2010»
15 years 1 months ago
Algorithms for solving linear systems over cyclotomic fields
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...
Liang Chen, Michael B. Monagan