Search Sciweavers | Sciweavers

14382 search results - page 171 / 2877

» Time in Connectionist Models

139

click to vote

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

15 years 4 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

121

click to vote

JCNS
2010

70views more JCNS 2010»

A biologically plausible model of time-scale invariant interval timing

15 years 4 months ago

Download nba.uth.tmc.edu

Rita Almeida, Anders Ledberg

claim paper

Read More »

131

click to vote

IPPS
2010
IEEE

113views Distributed And Parallel Com...» more IPPS 2010»

Modeling and analysis of real -time systems with mutex components

15 years 4 months ago

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

131

click to vote

TCC
2010
Springer

119views Cryptology» more TCC 2010»

Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model

15 years 4 months ago

Download www.cs.cornell.edu

Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...

claim paper

Read More »

118

click to vote

CORR
2009
Springer

117views Education» more CORR 2009»

Automated Predicate Abstraction for Real-Time Models

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers