Sciweavers

617 search results - page 5 / 124
» The General Architecture of Generation in ACORD
Sort
View
ATAL
2005
Springer
13 years 11 months ago
Model generation for PRS-like agents
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
Wayne Wobcke, Marc Chee, Krystian Ji
BCS
2008
13 years 7 months ago
A Vision of the Next Generation Internet: A Policy Oriented Perspective
Network Architecture (PONA) and an abstract two part protocol stack with a virtualization layer in between. We also introduce the concept of generalized communication end-points
Subarthi Paul, Raj Jain, Jianli Pan, Mic Bowman
SASP
2008
IEEE
140views Hardware» more  SASP 2008»
14 years 5 days ago
An FPGA Design Space Exploration Tool for Matrix Inversion Architectures
— Matrix inversion is a common function found in many algorithms used in wireless communication systems. As FPGAs become an increasingly attractive platform for wireless communic...
Ali Irturk, Bridget Benson, Shahnam Mirzaei, Ryan ...
ICS
2009
Tsinghua U.
13 years 10 months ago
Exploring pattern-aware routing in generalized fat tree networks
New static source routing algorithms for High Performance Computing (HPC) are presented in this work. The target parallel architectures are based on the commonly used fattree netw...
Germán Rodríguez, Ramón Beivi...
SAC
2010
ACM
14 years 19 days ago
Gray networking: a step towards next generation computer networks
Modern networks are very complex. It is highly desirable to reduce management complexity in next generation network design. Researchers have been seeking inspiration in natural ob...
Piyush Harsh, Randy Chow, Richard Newman