644 search results - page 106 / 129 » Teaching system modeling, simulation and validation |
GCC
2010
Springer
13 years 7 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
WSDM
2012
ACM
12 years 5 months ago
2012
ACM
Prediction of popular items in online content sharing systems has recently attracted a lot of attention due to the tremendous need of users and its commercial values. Different fr...
CLUSTER
2005
IEEE
14 years 3 months ago
2005
IEEE
Cycle-harvesting systems such as Condor have been developed to make desktop machines in a local area (which are often similar to clusters in hardware configuration) available as ...
STTT
1998
13 years 9 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...