𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Scalable distributed on-the-fly symbolic model checking

✍ Scribed by Shoham Ben-David; Orna Grumberg; Tamir Heyman; Assaf Schuster

Publisher
Springer
Year
2003
Tongue
English
Weight
324 KB
Volume
4
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Scalable Distributed Model Checking: Exp
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations: (invited talk)
✍ Assaf Schuster πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 19 KB

In recent years a lot of effort has been put into using parallel and distributed environments to solve the computational and space complexity bottlenecks in model checking systems. In this talk we will survey early efforts, trying to pinpoint the reasons for their limited success. We will then outl

Scalable Distributed Model Checking: Exp
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations: (invited talk)
✍ Assaf Schuster πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 31 KB

In recent years a lot of effort has been put into using parallel and distributed environments to solve the computational and space complexity bottlenecks in model checking systems. In this talk we will survey early efforts, trying to pinpoint the reasons for their limited success. We will then outl

Scalable distributed-capacitance model f
Scalable distributed-capacitance model for silicon on-chip spiral inductors
✍ Fengyi Huang; Jingxue Lu; Nan Jiang πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 184 KB

## Abstract We present physics‐based modeling for silicon on‐chip spiral inductors, taking into account the coupling capacitance between metal spirals. The coupling capacitance __C__~__p__~ is calculated using a distributed‐capacitance model based on finite‐element analysis. As demonstrated for a s

On-the-fly analysis of distributed compu
On-the-fly analysis of distributed computations
✍ Eddy Fromentin; Claude Jard; Guy-Vincent Jourdan; Michel Raynal πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 750 KB