Sciweavers

10539 search results - page 69 / 2108

» On L

99

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 7 months ago

Sequential Circuit Verification Using Symbolic Model Checking

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

102

EUROPAR
2008
Springer

105views Distributed And Parallel Com...» more EUROPAR 2008»

A Design Pattern for Component Oriented Development of Agent Based Multithreaded Applications

15 years 5 months ago

A Design Pattern for Component Oriented Development of Agent Based Multithreaded Applications

Download dis.um.es

Antonio L. Rodríguez, Pedro E. López...

claim paper

Read More »

91

Voted

DOA
2000

69views more DOA 2000»

Provisioning QoS in Real-Time Distributed Object Architectures for Power Plant Control Applications

15 years 4 months ago

Provisioning QoS in Real-Time Distributed Object Architectures for Power Plant Control Applications

Download cedric.cnam.fr

L. Bacon, Erwan Becquet, Eric Gressier-Soudan, Chr...

claim paper

Read More »

81

SAC
2010
ACM

104views Applied Computing» more SAC 2010»

Towards modular i* models

15 years 3 months ago

Towards modular i* models

Download portal.cin.ufpe.br

Fernanda M. R. Alencar, Jaelson Castro, Már...

claim paper

Read More »

117

ADCM
2007

59views more ADCM 2007»

Gabor frames by sampling and periodization

15 years 3 months ago

Gabor frames by sampling and periodization

Download ltfat.sourceforge.net

By sampling the window of a Gabor frame for L2 (R) belonging to Feichtinger’s algebra, S0(R), one obtains a Gabor frame for l2 (Z). In this article we present a survey of results...

Peter L. Søndergaard

claim paper

Read More »

« Prev « First page 69 / 2108 Last » Next »