Sciweavers

82 search results - page 9 / 17
» Automatically transforming and relating Uppaal models of emb...
Sort
View
94
Voted
HPDC
2000
IEEE
15 years 1 months ago
dQUOB: Managing Large Data Flows using Dynamic Embedded Queries
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
Beth Plale, Karsten Schwan
ACL
2009
14 years 7 months ago
A Metric-based Framework for Automatic Taxonomy Induction
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
Hui Yang, Jamie Callan
SAMOS
2004
Springer
15 years 2 months ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
94
Voted
ECMDAFA
2009
Springer
119views Hardware» more  ECMDAFA 2009»
14 years 7 months ago
Managing Model Adaptation by Precise Detection of Metamodel Changes
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
Kelly Garcés, Frédéric Jouaul...
94
Voted
RTCSA
2005
IEEE
15 years 3 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin