Sciweavers

15885 search results - page 106 / 3177

» Strategic Software Engineering

144

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

Efficient DSP algorithm development for FPGA and ASIC technologies

16 years 1 months ago

Efficient DSP algorithm development for FPGA and ASIC technologies

Download www.synopsys.com

Shiv Balakrishnan, Chris Eddington

claim paper

Read More »

131

VMCAI
2007
Springer

77views Software Engineering» more VMCAI 2007»

Verifying Compensating Transactions

16 years 1 months ago

Verifying Compensating Transactions

Download www.cs.ucla.edu

Michael Emmi, Rupak Majumdar

claim paper

Read More »

171

VMCAI
2007
Springer

90views Software Engineering» more VMCAI 2007»

More Precise Partition Abstractions

16 years 1 months ago

More Precise Partition Abstractions

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

170

Voted

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

16 years 1 months ago

Language-Based Abstraction Refinement for Hybrid System Verification

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

184

VMCAI
2007
Springer

76views Software Engineering» more VMCAI 2007»

The Spotlight Principle

16 years 1 months ago

The Spotlight Principle

Download rw4.cs.uni-sb.de

Björn Wachter, Bernd Westphal

claim paper

Read More »

« Prev « First page 106 / 3177 Last » Next »