Sciweavers

427 search results - page 19 / 86
» Simulation of Advanced Transaction Models Using GOLOG
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 2 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
SIGMETRICS
1992
ACM
145views Hardware» more  SIGMETRICS 1992»
14 years 23 days ago
Analysis of the Generalized Clock Buffer Replacement Scheme for Database Transaction Processing
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
Victor F. Nicola, Asit Dan, Daniel M. Dias
WSC
2001
13 years 10 months ago
Sizing a pilot production line using simulation
The semiconductor industry is rapidly expanding worldwide. With the continuing advancement of technology, companies are continually striving to develop and maintain cutting edge p...
Peng Qu, Geoffrey E. Skinner, Scott J. Mason
FPL
2004
Springer
125views Hardware» more  FPL 2004»
14 years 2 months ago
SoftSONIC: A Customisable Modular Platform for Video Applications
This paper presents the Customisable Modular Platform (CMP) approach. The aim is to accelerate FPGA application developraising the level of abstraction and facilitating design reus...
Tero Rissa, Peter Y. K. Cheung, Wayne Luk
WSC
2008
13 years 11 months ago
Generic simulation for rail-road container terminals
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...
Thouraya Benna, Manfred Gronalt