Sciweavers

593 search results - page 82 / 119
» tools 2011
Sort
View
CLIMA
2011
14 years 3 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
DAC
2011
ACM
14 years 3 months ago
TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC
In this work, we propose an efficient and accurate full-chip thermomechanical stress and reliability analysis tool and design optimization methodology to alleviate mechanical rel...
Moongon Jung, Joydeep Mitra, David Z. Pan, Sung Ky...
DAC
2011
ACM
14 years 3 months ago
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel
We present ChronOS Linux, a best-effort real-time Linux kernel for chip multiprocessors (CMPs). ChronOS addresses the intersection of three problem spaces: a) OS-support for obta...
Matthew Dellinger, Piyush Garyali, Binoy Ravindran
DGO
2011
277views Education» more  DGO 2011»
14 years 3 months ago
Application of the MINOE regulatory analysis framework: case studies
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
Julia A. Ekstrom, Gloria T. Lau, Kincho H. Law, Ma...
DRR
2011
14 years 3 months ago
How carefully designed open resource sharing can help and expand document analysis research
w—king d—t—sets —v—il—˜le for peer reviewing of pu˜lished do™ument —n—lysis methods or distri˜uting l—rge ™ommonly used do™ument ™orpor— for ˜en™hm—rking —re ...
Bart Lamiroy, Daniel P. Lopresti, Henry F. Korth, ...