Sciweavers

11022 search results - page 309 / 2205
» Programming Systems for Autonomy
Sort
View
FTCS
1998
91views more  FTCS 1998»
15 years 8 months ago
How Fail-Stop are Faulty Programs?
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
Subhachandra Chandra, Peter M. Chen
EUROGP
2010
Springer
160views Optimization» more  EUROGP 2010»
15 years 7 months ago
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
Nguyen Quang Uy, Nguyen Thi Hien, Nguyen Xuan Hoai...
CONCURRENCY
2007
100views more  CONCURRENCY 2007»
15 years 6 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen
174
Voted
ERLANG
2004
ACM
16 years 5 days ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
DAC
2007
ACM
16 years 7 months ago
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
Jia Yu, Jingnan Yao, Jun Yang 0002, Laxmi N. Bhuya...