308 search results - page 37 / 62 » Verification of object-oriented simulation designs |
87
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
95
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
81
Voted
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
127
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
112
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...