Sciweavers

15253 search results - page 84 / 3051
» Integer-Programming Software Systems
Sort
View
80
Voted
CASES
2005
ACM
15 years 4 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
CASES
2005
ACM
15 years 4 months ago
The microarchitecture of FPGA-based soft processors
Peter Yiannacouras, Jonathan Rose, J. Gregory Stef...
82
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
Deadlock detection in distribution object systems
Nima Kaveh, Wolfgang Emmerich
95
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
78
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...