Search Sciweavers | Sciweavers

5630 search results - page 21 / 1126

» Computability in Specification

click to vote

DAC
2004
ACM

103views Computer Architecture» more DAC 2004»

Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware

14 years 10 months ago

Download www.cs.ucr.edu

Javier Resano, Daniel Mozos

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

14 years 4 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

14 years 4 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

click to vote

EDOC
2006
IEEE

99views Distributed And Parallel Com...» more EDOC 2006»

Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract

14 years 3 months ago

Download wodpec2006.telin.nl

Peter F. Linington

claim paper

Read More »

click to vote

EDOC
2005
IEEE

77views Distributed And Parallel Com...» more EDOC 2005»

Dealing with contract violations: formalism and domain specific language

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers