Sciweavers

2231 search results - page 297 / 447
» Alternation as a programming paradigm
Sort
View
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
16 years 1 days ago
Comparing Analytical Modeling with Simulation for Network Processors: A Case Study
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
Matthias Gries, Chidamber Kulkarni, Christian Saue...
ATAL
2003
Springer
16 years 6 min ago
Communication for Goal Directed Agents
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
Mehdi Dastani, Jeroen van der Ham, Frank Dignum
AUSAI
2003
Springer
15 years 12 months ago
An eNegotiation Framework
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...
John K. Debenham
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
175
Voted
ISQED
2002
IEEE
128views Hardware» more  ISQED 2002»
15 years 11 months ago
Inductive Characteristics of Power Distribution Grids in High Speed Integrated Circuits
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
Andrey V. Mezhiba, Eby G. Friedman