Sciweavers

2485 search results - page 147 / 497
» Time Bounded Frequency Computations
Sort
View
APN
2008
Springer
15 years 7 months ago
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
Morgan Magnin, Didier Lime, Olivier H. Roux
ICCAD
2005
IEEE
98views Hardware» more  ICCAD 2005»
16 years 1 months ago
Clustering for processing rate optimization
Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level m...
Chuan Lin, Jia Wang, Hai Zhou
134
Voted
DATAMINE
2010
133views more  DATAMINE 2010»
15 years 5 months ago
Using background knowledge to rank itemsets
Assessing the quality of discovered results is an important open problem in data mining. Such assessment is particularly vital when mining itemsets, since commonly many of the disc...
Nikolaj Tatti, Michael Mampaey
127
Voted
TIT
2008
119views more  TIT 2008»
15 years 5 months ago
Throughput and Fairness Guarantees Through Maximal Scheduling in Wireless Networks
We address the question of providing throughput guarantees through distributed scheduling, which has remained an open problem for some time. We consider a simple distributed sched...
Prasanna Chaporkar, Koushik Kar, Xiang Luo, Saswat...
131
Voted
TVLSI
2008
116views more  TVLSI 2008»
15 years 5 months ago
GOP-Level Dynamic Thermal Management in MPEG-2 Decoding
In this paper, we present a dynamic thermal management (DTM) algorithm based on (i) accurate estimation of the workload of frames in a group of pictures (GOP) in an MPEG-2 video st...
Wonbok Lee, Kimish Patel, Massoud Pedram