3828 search results - page 38 / 766 » Proof-Based System Engineering Using a Virtual System Model |
172
click to vote
FECS
2009
15 years 2 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
124
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In this thesis I present a virtual laboratory which implements five different models for controlling animats: a rule-based system, a behaviour-based system, a concept-based system...
137
click to vote
IEE
2007
15 years 4 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
135
click to vote
ISPASS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
148
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...