Sciweavers

8492 search results - page 363 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
183
Voted
ISCA
1998
IEEE
128views Hardware» more  ISCA 1998»
15 years 11 months ago
Analytic Evaluation of Shared-memory Systems with ILP Processors
This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploi...
Daniel J. Sorin, Vijay S. Pai, Sarita V. Adve, Mar...
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 11 months ago
Optimal and adaptive battery discharge strategies for Cyber-Physical Systems
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
Fumin Zhang, Zhenwu Shi
EPIA
2001
Springer
15 years 11 months ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum
PROCEDIA
2010
148views more  PROCEDIA 2010»
15 years 1 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 11 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...