Sciweavers

3686 search results - page 52 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
ISSRE
2010
IEEE
13 years 7 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
DAC
1996
ACM
14 years 1 months ago
Software Development in a Hardware Simulation Environment
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
Benny Schnaider, Einat Yogev
VEE
2009
ACM
107views Virtualization» more  VEE 2009»
14 years 3 months ago
Architectural support for shadow memory in multiprocessors
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...
Vijay Nagarajan, Rajiv Gupta
SBSC
2008
IEEE
14 years 3 months ago
The Agent-Based Architecture of RECOLLVE
The world globalization process, the increasing demand for communication and information technologies create a demand for collaborative applications. Aiming at supporting communic...
José Valentim Dos Santos Filho, Roberta Lim...
IROS
2008
IEEE
119views Robotics» more  IROS 2008»
14 years 3 months ago
Robust stability analysis of a bilateral teleoperation system using the parameter space approach
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
Angelika Peer, Martin Buss