Sciweavers

3575 search results - page 452 / 715
» Modeling Concurrency with Geometry
Sort
View
GROUP
2003
ACM
15 years 12 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
CODES
2002
IEEE
15 years 11 months ago
Worst-case performance analysis of parallel, communicating software processes
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
Axel Siebenborn, Oliver Bringmann, Wolfgang Rosens...
INFOCOM
2002
IEEE
15 years 11 months ago
Channel Sharing by Rate Adaptive Streaming Applications
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
Leonidas Georgiadis, Nikos Argiriou
169
Voted
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
15 years 11 months ago
Interaction-Aware Prediction of Business-Intelligence Workload Completion Times
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
176
Voted
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 11 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar