Sciweavers

3457 search results - page 157 / 692

» A Symbol Is Not a Symbol

136

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 10 months ago

Reliable verification using symbolic simulation with scalar values

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

153

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

15 years 10 months ago

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

147

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 10 months ago

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

173

AGP
1999
IEEE

111views Artificial Intelligence» more AGP 1999»

Comparing expressiveness of set constructor symbols

15 years 10 months ago

Comparing expressiveness of set constructor symbols

Download users.dimi.uniud.it

In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...

Agostino Dovier, Carla Piazza, Alberto Policriti

claim paper

Read More »

114

DAC
1999
ACM

122views Computer Architecture» more DAC 1999»

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

15 years 10 months ago

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

Download www.cecs.uci.edu

Valeria Bertacco, Maurizio Damiani, Stefano Quer

claim paper

Read More »

« Prev « First page 157 / 692 Last » Next »