Search Sciweavers | Sciweavers

8132 search results - page 18 / 1627

» Dependability, Abstraction, and Programming

click to vote

TODS
2002

76views more TODS 2002»

Searching for dependencies at multiple abstraction levels

14 years 9 months ago

Download wwwis.win.tue.nl

g for Dependencies at Multiple Abstraction Levels Toon Calders Raymond T. Ng Jef Wijsen The notion of roll-up dependency (RUD) extends functional dependencies with generalization ...

Toon Calders, Raymond T. Ng, Jef Wijsen

claim paper

Read More »

Voted

CONCUR
2007
Springer

69views Distributed And Parallel Com...» more CONCUR 2007»

Topology-Dependent Abstractions of Broadcast Networks

15 years 4 months ago

Download www2.imm.dtu.dk

Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...

claim paper

Read More »

click to vote

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 2 months ago

Download www.inf.tu-dresden.de

Alexander Asteroth, Christel Baier, Ulrich Aß...

claim paper

Read More »

click to vote

ASPDAC
2008
ACM

91views Hardware» more ASPDAC 2008»

Automatic generation of hardware dependent software for MPSoCs from abstract system specifications

14 years 11 months ago

Download users.ece.utexas.edu

Gunar Schirner, Andreas Gerstlauer, Rainer Dö...

claim paper

Read More »

Voted

DAGSTUHL
2006

142views Software Engineering» more DAGSTUHL 2006»

06371 Abstracts Collection -- From Security to Dependability

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers