Search Sciweavers | Sciweavers

8828 search results - page 72 / 1766

» Formal methods in practice

137

click to vote

ASPLOS
2004
ACM

144views Programming Languages» more ASPLOS 2004»

Formal online methods for voltage/frequency control in multiple clock domain microprocessors

15 years 9 months ago

Download parapet.ee.princeton.edu

Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...

Qiang Wu, Philo Juang, Margaret Martonosi, Douglas...

claim paper

Read More »

111

click to vote

TPHOL
2009
IEEE

270views Automated Reasoning» more TPHOL 2009»

Formal Verification of Exact Computations Using Newton's Method

15 years 10 months ago

Download www-sop.inria.fr

Nicolas Julien, Ioana Pasca

claim paper

Read More »

click to vote

MLDM
2009
Springer

135views Machine Learning» more MLDM 2009»

Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification

15 years 10 months ago

Download www.limsi.fr

François Bouchet, Jean-Paul Sansonnet

claim paper

Read More »

156

click to vote

NCA
2008
IEEE

144views Computer Networks» more NCA 2008»

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols

15 years 10 months ago

Download www.cs.ucy.ac.cy

In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the veriﬁcation of a distributed leader-election protocol. Based on the tw...

Marina Gelastou, Chryssis Georgiou, Anna Philippou

claim paper

Read More »

162

click to vote

AB
2008
Springer

284views Computational Biology» more AB 2008»

Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers