Search Sciweavers | Sciweavers

8132 search results - page 18 / 1627

» Dependability, Abstraction, and Programming

152

click to vote

TODS
2002

76views more TODS 2002»

Searching for dependencies at multiple abstraction levels

15 years 5 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 »

104

click to vote

CONCUR
2007
Springer

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

Topology-Dependent Abstractions of Broadcast Networks

16 years 3 days ago

Download www2.imm.dtu.dk

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

claim paper

Read More »

132

click to vote

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 10 months ago

Download www.inf.tu-dresden.de

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

claim paper

Read More »

126

click to vote

ASPDAC
2008
ACM

91views Hardware» more ASPDAC 2008»

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

15 years 8 months ago

Download users.ece.utexas.edu

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

claim paper

Read More »

click to vote

DAGSTUHL
2006

142views Software Engineering» more DAGSTUHL 2006»

06371 Abstracts Collection -- From Security to Dependability

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers