Sciweavers

3973 search results - page 511 / 795
» Records for Logic Programming
Sort
View
MFCS
1994
Springer
15 years 9 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
ARCS
2006
Springer
15 years 8 months ago
Large Event Traces in Parallel Performance Analysis
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
Felix Wolf, Felix Freitag, Bernd Mohr, Shirley Moo...
112
Voted
WSC
2008
15 years 7 months ago
Optimizing staffing schedule in light of patient satisfaction for the whole outpatient hospital ward
The waiting time for patients in outpatient departments of hospitals is a problem throughout the world. In this context, a discrete-event-simulation model was developed to examine...
Soemon Takakuwa, Athula Wijewickrama
EDM
2010
128views Data Mining» more  EDM 2010»
15 years 6 months ago
Using Educational Data Mining Methods to Study the Impact of Virtual Classroom in E-Learning
In the past few years, Iranian universities have embarked to use e-learning tools and technologies to extend and improve their educational services. After a few years of conducting...
Mohammad Hassan Falakmasir, Jafar Habibi
WSCG
2004
117views more  WSCG 2004»
15 years 6 months ago
A Supply-Chain for Computer-Mediated Communication and Visualization
The paper specifies modular software for synchronous and asynchronous computer-mediated communication and visualization in network-distributed environments. It is new because the ...
Nils Jensen, Ralf Einhorn, Gabriele von Voigt