Sciweavers

2607 search results - page 220 / 522
» On the Architecture of System Verification Environments
Sort
View
PROCEDIA
2010
116views more  PROCEDIA 2010»
15 years 5 months ago
Towards fully autonomic peer-to-peer systems
Large-scale distributed applications are becoming more and more demanding in terms of efficiency and flexibility of the technological infrastructure, for which traditional soluti...
Michele Amoretti
DAC
1999
ACM
16 years 7 months ago
Java Driven Codesign and Prototyping of Networked Embedded Systems
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
Josef Fleischmann, Klaus Buchenrieder, Rainer Kres...
BERTINORO
2005
Springer
16 years 3 days ago
On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
Daniel A. Menascé, Mohamed N. Bennani, Hong...
IAT
2003
IEEE
15 years 12 months ago
SIMPLE - A Multi-Agent System for Simultaneous and Related Auctions
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
Ruy Luiz Milidiú, Taciana Melcop, Frederico...
VLDB
2001
ACM
138views Database» more  VLDB 2001»
15 years 11 months ago
Operating System Extensions for the Teradata Parallel VLDB
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
John Catozzi, Sorana Rabinovici