Sciweavers

15885 search results - page 97 / 3177

» The Modest Software Engineer

122

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

Efficient DSP algorithm development for FPGA and ASIC technologies

16 years 6 days ago

Efficient DSP algorithm development for FPGA and ASIC technologies

Download www.synopsys.com

Shiv Balakrishnan, Chris Eddington

claim paper

Read More »

109

Voted

VMCAI
2007
Springer

77views Software Engineering» more VMCAI 2007»

Verifying Compensating Transactions

16 years 6 days ago

Verifying Compensating Transactions

Download www.cs.ucla.edu

Michael Emmi, Rupak Majumdar

claim paper

Read More »

144

VMCAI
2007
Springer

90views Software Engineering» more VMCAI 2007»

More Precise Partition Abstractions

16 years 6 days ago

More Precise Partition Abstractions

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

145

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

16 years 6 days ago

Language-Based Abstraction Refinement for Hybrid System Verification

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

157

VMCAI
2007
Springer

76views Software Engineering» more VMCAI 2007»

The Spotlight Principle

16 years 6 days ago

The Spotlight Principle

Download rw4.cs.uni-sb.de

Björn Wachter, Bernd Westphal

claim paper

Read More »

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