Search Sciweavers | Sciweavers

8828 search results - page 72 / 1766

» Formal methods in practice

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 3 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 »

click to vote

TPHOL
2009
IEEE

270views Automated Reasoning» more TPHOL 2009»

Formal Verification of Exact Computations Using Newton's Method

15 years 4 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 4 months ago

Download www.limsi.fr

François Bouchet, Jean-Paul Sansonnet

claim paper

Read More »

107

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 4 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 »

102

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers