Sciweavers

19587 search results - page 280 / 3918

» Systems Engineering for software Engineers

139

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 11 months ago

Descriptive Complexity and Model Checking

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

139

FSTTCS
1998
Springer

92views Software Engineering» more FSTTCS 1998»

Quantum Computation and Information

15 years 11 months ago

Quantum Computation and Information

Download wslc.math.ist.utl.pt

Umesh V. Vazirani

claim paper

Read More »

137

APSEC
1997
IEEE

83views Software Engineering» more APSEC 1997»

Design by Contract for Python

15 years 11 months ago

Design by Contract for Python

Download www.swe.uni-linz.ac.at

Reinhold Plösch

claim paper

Read More »

128

CODES
1997
IEEE

64views Software Engineering» more CODES 1997»

Performance Analysis in CoDe-X Partitioning for Structural Programmable Accelerators

15 years 11 months ago

Performance Analysis in CoDe-X Partitioning for Structural Programmable Accelerators

Download www.cecs.uci.edu

Reiner W. Hartenstein, Jürgen Becker

claim paper

Read More »

150

Voted

COMPSAC
1997
IEEE

85views Software Engineering» more COMPSAC 1997»

An optimization of disjunctive queries: union-pushdown

15 years 11 months ago

An optimization of disjunctive queries: union-pushdown

Download ids.snu.ac.kr

Jae-young Chang, Sang-goo Lee

claim paper

Read More »

« Prev « First page 280 / 3918 Last » Next »