17680 search results - page 409 / 3536 » Simulation of Computer Systems and Applications |
149
click to vote
WSC
2008
15 years 7 months ago
2008
In this paper, we suggest a linear programming formulation that allows for solving volume and capacity planning problems in semiconductor manufacturing systems. We assume a genera...
165
click to vote
ISCA
1995
IEEE
15 years 8 months ago
1995
IEEE
Communicationin aparallel systemfrequently involvesmoving data from the memory of one node to the memory of another; this is the standard communication model employedin message pa...
121
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
156
click to vote
JIPS
2010
14 years 11 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
154
click to vote
IRI
2008
IEEE
15 years 11 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...