4902 search results - page 216 / 981 » Multi-agent Systems Methodology |
240
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
This paper proposes methodologies to control the access of B-tree-indexed data in a batch and real-time fashion. Algorithms are proposed to insert, query, delete, and rebalance B-...
179
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we demonstrate how a design-based methodology can be used to iteratively produce designs for an information-processing architecture that integrates various intelligen...
149
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
153
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
131
click to vote
SIGPLAN
2008
15 years 5 months ago
2008
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...