Sciweavers

1683 search results - page 34 / 337
» Testing system virtual machines
Sort
View
ERSHOV
2003
Springer
14 years 2 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
IPPS
2007
IEEE
14 years 4 months ago
Machine Bank: Own Your Virtual Personal Computer
In this paper, we report the design, implementation and experimental results of Machine Bank, a system engineered towards the popular shared-lab scenario, where users outnumber av...
Shuo Tang, Yu Chen, Zheng Zhang
IPPS
2005
IEEE
14 years 3 months ago
TiNy Threads: A Thread Virtual Machine for the Cyclops64 Cellular Architecture
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
Juan del Cuvillo, Weirong Zhu, Ziang Hu, Guang R. ...
ICALT
2003
IEEE
14 years 2 months ago
Learning Resources Brokerage Systems: An Agent-Based Virtual Market Model
This paper discusses issues related with learning resources brokerage systems. It introduces a market-based modeling approach and proposes a virtual market model design of a broke...
Nikos Manouselis, Demetrios G. Sampson
SRDS
2007
IEEE
14 years 3 months ago
Characterizing Aging Phenomena of the Java Virtual Machine
In this work we investigate software aging phenomena inside the Java Virtual Machine (JVM). Starting from an experimental campaign on real world testbeds, this work isolates the c...
Domenico Cotroneo, Salvatore Orlando 0002, Stefano...