Search Sciweavers | Sciweavers

15777 search results - page 151 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 6 months ago

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

click to vote

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

15 years 6 months ago

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 6 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

click to vote

CODES
1998
IEEE

100views Software Engineering» more CODES 1998»

Communication estimation for hardware/software codesign

15 years 6 months ago

Download peace.snu.ac.kr

Peter Voigt Knudsen, Jan Madsen

claim paper

Read More »

Voted

COMPSAC
1998
IEEE

94views Software Engineering» more COMPSAC 1998»

Position Paper

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers