865 search results - page 5 / 173 » An Approach for Validation of Semantic Composability in Simu... |
ENTCS
2006
13 years 5 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
WSC
1996
13 years 7 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
WSC
2008
13 years 8 months ago
2008
A novel technique for accurately and inexpensively simulating large numbers of people is introduced: Massively Multiplayer Online Human In the Loop Simulation (MMOHILS). This tech...
TAOSD
2010
13 years 4 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
ACSD
2006
IEEE
13 years 9 months ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...