Sciweavers

16541 search results - page 148 / 3309
» Ontologies and Software Engineering
Sort
View
102
Voted
VLSI
2007
Springer
15 years 10 months ago
Efficient DSP algorithm development for FPGA and ASIC technologies
Shiv Balakrishnan, Chris Eddington
VMCAI
2007
Springer
15 years 10 months ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
VMCAI
2007
Springer
15 years 10 months ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth