Sciweavers

9842 search results - page 639 / 1969
» Compositional timing analysis
Sort
View
193
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 5 months ago
Centrality Metric for Dynamic Networks
Centrality is an important notion in network analysis and is used to measure the degree to which network structure contributes to the importance of a node in a network. While many...
Kristina Lerman, Rumi Ghosh, Jeon Hyung Kang
DKE
2008
108views more  DKE 2008»
15 years 7 months ago
The thematic and citation landscape of Data and Knowledge Engineering
The thematic and citation structures of Data and Knowledge Engineering (DKE) (1985-2007) are identified based on text analysis and citation analysis of the bibliographic records o...
Chaomei Chen, Il-Yeol Song, Xiaojun Yuan, Jian Zha...
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
15 years 10 months ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
16 years 2 months ago
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
Nikolay Stoimenov, Simon Perathoner, Lothar Thiele
201
Voted
IWMM
2000
Springer
113views Hardware» more  IWMM 2000»
15 years 10 months ago
On the Effectiveness of GC in Java
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv