Sciweavers

15253 search results - page 84 / 3051
» Integer-Programming Software Systems
Sort
View
CASES
2005
ACM
15 years 6 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
CASES
2005
ACM
15 years 6 months ago
The microarchitecture of FPGA-based soft processors
Peter Yiannacouras, Jonathan Rose, J. Gregory Stef...
ICSE
2007
IEEE-ACM
16 years 4 months ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
ICSE
2007
IEEE-ACM
16 years 4 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...