Search Sciweavers | Sciweavers

14331 search results - page 54 / 2867

» On the modeling and analysis of obligations

110

click to vote

JISE
1998

106views more JISE 1998»

Control / Data-Flow Analysis for VHDL Semantic Extraction

15 years 1 months ago

Download kona.ee.pitt.edu

straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....

Yee-Wing Hsieh, Steven P. Levitan

claim paper

Read More »

114

click to vote

HPDC
2010
IEEE

141views Distributed And Parallel Com...» more HPDC 2010»

ParaText: scalable text modeling and analysis

15 years 3 months ago

Download www.sandia.gov

Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...

Daniel M. Dunlavy, Timothy M. Shead, Eric T. Stant...

claim paper

Read More »

125

click to vote

RTS
2006

129views more RTS 2006»

Modeling out-of-order processors for WCET analysis

15 years 1 months ago

Download www.comp.nus.edu.sg

Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra

claim paper

Read More »

click to vote

CIVR
2009
Springer

112views Image Analysis» more CIVR 2009»

Dense sampling and fast encoding for 3D model retrieval using bag-of-visual features

15 years 8 months ago

Download www.kki.yamanashi.ac.jp

Takahiko Furuya, Ryutarou Ohbuchi

claim paper

Read More »