Sciweavers

1683 search results - page 49 / 337
» Testing system virtual machines
Sort
View
PTS
2003
108views Hardware» more  PTS 2003»
14 years 6 hour ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
HPDC
2011
IEEE
13 years 2 months ago
Wrangler: virtual cluster provisioning for the cloud
Cloud computing systems are becoming an important platform for science applications. Infrastructure as a Service (IaaS) clouds provide the capability to provision virtual machines...
Gideon Juve, Ewa Deelman
ICALT
2007
IEEE
14 years 5 months ago
A Multiagent Extension for Virtual Reality Based Intelligent Tutoring Systems
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
Ricardo Imbert, Leticia Sánchez, Angé...
ICFP
1999
ACM
14 years 3 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
ICALT
2008
IEEE
14 years 5 months ago
The Virtual Conductor: Learning and Teaching about Music, Performing, and Conducting
The Virtual Conductor is an artificial conducting system that uses real-time audio analysis of music played by musicians and uses this analysis to animate a virtual human that act...
Anton Nijholt, Dennis Reidsma, Rob Ebbers, Mark te...