Sciweavers

2214 search results - page 334 / 443
» complexity 2004
Sort
View
106
Voted
ACOM
2004
Springer
15 years 6 months ago
A Model of Rational Agency for Communicating Agents
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
Shakil M. Khan, Yves Lespérance
103
Voted
ACSAC
2004
IEEE
15 years 6 months ago
High-Fidelity Modeling of Computer Network Worms
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
Kalyan S. Perumalla, Srikanth Sundaragopalan
ACSC
2004
IEEE
15 years 6 months ago
Reducing Register Pressure Through LAER Algorithm
When modern processors keep increasing the instruction window size and the issue width to exploit more instruction-level parallelism (ILP), the demand of larger physical register ...
Gao Song
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 6 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
88
Voted
AGILEDC
2004
IEEE
15 years 6 months ago
Adaptive Agility
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...
Todd Little, Forrest Greene, Tessy Phillips, Rex P...