10666 search results - page 1639 / 2134 » Quantum programming languages |
173
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
177
Voted
SAC
2005
ACM
16 years 12 days ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
176
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
156
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
177
click to vote
FC
2005
Springer
16 years 11 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...