1906 search results - page 255 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
148
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
116
click to vote
IPPS
1995
IEEE
15 years 8 months ago
1995
IEEE
The RACE R
parallel computer system provides a highperformance parallel interconnection network at low cost. This paper describes the architecture and implementation of the RACE ...
143
click to vote
AIPS
1994
15 years 5 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
111
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper considers actuator redundancy management for a class of overactuated nonlinear systems. Two tools for distributing the control effort among a redundant set of actuators...
129
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...