Sciweavers

1998 search results - page 234 / 400
» Situated Control Rules
Sort
View
IPPS
1993
IEEE
15 years 9 months ago
"Unstable Threads" Kernel Interface for Minimizing the Overhead of Thread Switching
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...
Shigekazu Inohara, Kazuhiko Kato, Takashi Masuda
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 9 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
155
Voted
ATAL
2006
Springer
15 years 9 months ago
Designing a successful trading agent for supply chain management
This paper describes the design and evaluation of SouthamptonSCM, the runner-up in the 2005 International Trading Agent Supply Chain Management Competition (TAC SCM). In particula...
Minghua He, Alex Rogers, Xudong Luo, Nicholas R. J...
ECAI
2006
Springer
15 years 9 months ago
Prevention of Harmful Behaviors Within Cognitive and Autonomous Agents
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
Caroline Chopinaud, Amal El Fallah-Seghrouchni, Pa...
SAFECOMP
2000
Springer
15 years 9 months ago
The Safety Management of Data-Driven Safety-Related Systems
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H....