2978 search results - page 210 / 596 » Operations Research |
133
Voted
COMPUTER
2002
15 years 3 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
174
click to vote
JTAER
2010
15 years 2 months ago
2010
Today globally distributed software development has become the norm for many organizations and the popularity of implementing such an approach continues to increase. In these circ...
116
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
Due to their layered approach, Networks-on-Chip (NoC) are a promising communication backbone in the field of heterogeneous dynamically reconfigurable systems. In this paper a fu...
119
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
128
Voted
CN
2006
15 years 3 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...