Search Sciweavers | Sciweavers

8828 search results - page 256 / 1766

» Formal methods in practice

206

click to vote

ISPD
1997
ACM

186views Hardware» more ISPD 1997»

EWA: exact wiring-sizing algorithm

15 years 10 months ago

Download www.cs.ucr.edu

The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...

Rony Kay, Gennady Bucheuv, Lawrence T. Pileggi

claim paper

Read More »

204

click to vote

ACSC
2006
IEEE

147views Theoretical Computer Science» more ACSC 2006»

Using formal concept analysis with an incremental knowledge acquisition system for web document management

16 years 21 days ago

Download eprints.utas.edu.au

It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...

Timothy J. Everts, Sung Sik Park, Byeong Ho Kang

claim paper

Read More »

204

click to vote

HCI
2009

161views Human Computer Interaction» more HCI 2009»

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

15 years 4 months ago

Download smv.unige.ch

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...

Philippe A. Palanque, Jean-François Ladry, ...

claim paper

Read More »

108

click to vote

CAV
2009
Springer

137views Hardware» more CAV 2009»

An Antichain Algorithm for LTL Realizability

16 years 7 months ago