Sciweavers

1782 search results - page 257 / 357
» Dynamics based control with PSRs
Sort
View
CAV
2009
Springer
171views Hardware» more  CAV 2009»
14 years 9 months ago
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik...
FDL
2008
IEEE
14 years 3 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
ATAL
2007
Springer
14 years 3 months ago
Towards self-organising agent-based resource allocation in a multi-server environment
Distributed applications require distributed techniques for efficient resource allocation. These techniques need to take into account the heterogeneity and potential unreliability...
Tino Schlegel, Ryszard Kowalczyk
ATAL
2007
Springer
14 years 3 months ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
ICMCS
2006
IEEE
155views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Fully and Semi-Automatic Music Sports Video Composition
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...
Jinjun Wang, Engsiong Chng, Changsheng Xu