11200 search results - page 335 / 2240 » An Object-oriented Optimization System |
115
Voted
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms
149
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
136
click to vote
WSC
2007
15 years 6 months ago
2007
In a supply chain, there are wide variety of problems, such as transportation scheduling problems and warehouse location problems. These problems are independently defined as opt...
140
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
166
click to vote
ISDA
2006
IEEE
15 years 10 months ago
2006
IEEE
- Elliptic curve cryptography plays a crucial role in networking and information security area, and modular multiplication arithmetic over finite field is a necessary computation p...