Search Sciweavers | Sciweavers

537 search results - page 4 / 108

» tools 1999

click to vote

TOOLS
1999
IEEE

98views Programming Languages» more TOOLS 1999»

Architecture = Abstractions over Software

13 years 10 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

80views Programming Languages» more TOOLS 1999»

Software Evolution: Prototypical Deltas

13 years 10 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

13 years 10 months ago

Download satoss.uni.lu

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...

claim paper

Read More »

click to vote

ISLPED
1999
ACM

71views Hardware» more ISLPED 1999»

System-level power optimization: techniques and tools

13 years 10 months ago

Download si2.epfl.ch

Luca Benini, Giovanni De Micheli

claim paper

Read More »

click to vote

MM
1999
ACM

117views Multimedia» more MM 1999»

Designing an interactive tool for video object segmentation and annotation

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers