2419 search results - page 397 / 484 » A Formal Approach to Software Testing |
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
DAC
2010
ACM
14 years 3 days ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
AIIDE
2009
13 years 9 months ago
2009
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...