Sciweavers

2165 search results - page 136 / 433
» cases 2005
Sort
View
IEEEPACT
2005
IEEE
15 years 9 months ago
Memory State Compressors for Giga-Scale Checkpoint/Restore
We propose a checkpoint store compression method for coarse-grain giga-scale checkpoint/restore. This mechanism can be useful for debugging, post-mortem analysis and error recover...
Andreas Moshovos, Alexandros Kostopoulos
WCRE
2005
IEEE
15 years 9 months ago
Design Pattern Detection in Eiffel Systems
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
Wei Wang, Vassilios Tzerpos
109
Voted
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
15 years 9 months ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
RSFDGRC
2005
Springer
134views Data Mining» more  RSFDGRC 2005»
15 years 9 months ago
The Computational Complexity of Inference Using Rough Set Flow Graphs
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
Cory J. Butz, Wen Yan, Boting Yang
113
Voted
ASPDAC
2005
ACM
104views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Speed and voltage selection for GALS systems based on voltage/frequency islands
Due to increasing clock speeds and shrinking technologies, distributing a single global clock signal throughout a chip is becoming a difficult and challenging proposition. In this...
Koushik Niyogi, Diana Marculescu