Sciweavers

1683 search results - page 61 / 337
» Testing system virtual machines
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 5 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
IJCAI
1997
14 years 2 days ago
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
G. M. Shiraz, Claude Sammut
ACMACE
2008
ACM
14 years 23 days ago
IncreTable, a mixed reality tabletop game experience
IncreTable is a mixed reality tabletop game inspired by The Incredible Machine. Users can combine real and virtual game pieces in order to solve puzzles in the game. Game actions ...
Jakob Leitner, Michael Haller, Kyungdahm Yun, Woon...
PERVASIVE
2011
Springer
13 years 1 months ago
Hybrid Prototyping by Using Virtual and Miniature Simulation for Designing Spatial Interactive Information Systems
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
Yasuto Nakanishi, Koji Sekiguchi, Takuro Ohmori, S...
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
14 years 4 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek