2470 search results - page 127 / 494 » Liveness-Preserving Simulation Relations |
111
Voted
BMCBI
2005
15 years 18 days ago
2005
Background: We present a complete re-implementation of the segment-based approach to multiple protein alignment that contains a number of improvements compared to the previous ver...
108
click to vote
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
Microarchitectural simulation is orders of magnitude slower than native execution. As more elements are accurately modeled, problems associated with slow simulation are further ex...
107
click to vote
BMAS
2000
IEEE
15 years 5 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
ANSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
112
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...