Search Sciweavers | Sciweavers

5630 search results - page 21 / 1126

» Computability in Specification

118

click to vote

DAC
2004
ACM

103views Computer Architecture» more DAC 2004»

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

16 years 6 months ago

Download www.cs.ucr.edu

Javier Resano, Daniel Mozos

claim paper

Read More »

132

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

16 years 13 days ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

111

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

16 years 4 days ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

121

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

15 years 12 months ago

Download wodpec2006.telin.nl

Peter F. Linington

claim paper

Read More »

133

click to vote

EDOC
2005
IEEE

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

Dealing with contract violations: formalism and domain specific language

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers