4346 search results - page 669 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
138
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
167
Voted
JELIA
1994
Springer
15 years 7 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
128
click to vote
ALENEX
2004
15 years 5 months ago
2004
We consider two approaches that model timetable information in public transportation systems as shortestpath problems in weighted graphs. In the time-expanded approach every event...
139
click to vote
PE
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
160
Voted
TVLSI
2008
15 years 3 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...