Sciweavers

4460 search results - page 457 / 892
» Resources in process algebra
Sort
View
ICDCS
2012
IEEE
13 years 9 months ago
Combining Partial Redundancy and Checkpointing for HPC
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...
James Elliott, Kishor Kharbas, David Fiala, Frank ...
EDBT
2008
ACM
103views Database» more  EDBT 2008»
16 years 7 months ago
A stratified approach to progressive approximate joins
Users often do not require a complete answer to their query but rather only a sample. They expect the sample to be either the largest possible or the most representative (or both)...
Wee Hyong Tok, Stéphane Bressan, Mong-Li Le...
ETFA
2006
IEEE
16 years 27 days ago
Normalization of Industrial Machinery with Embedded Devices and SOA
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
Virgilio Gilart-Iglesias, Francisco Maciá P...
WETICE
2003
IEEE
16 years 3 days ago
Weakly-structured Workflows for Knowledge-intensive Tasks: An Experimental Evaluation
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management appro...
Ludger van Elst, Felix-Robinson Aschoff, Ansgar Be...
IDMS
1997
Springer
97views Multimedia» more  IDMS 1997»
15 years 11 months ago
A Soft Real Time Scheduling Server in UNIX Operating System
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
Hao-Hua Chu, Klara Nahrstedt