7580 search results - page 1060 / 1516 » Prometheus design tool |
194
click to vote
LCTRTS
2007
Springer
16 years 28 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
214
click to vote
LION
2007
Springer
16 years 28 days ago
2007
Springer
The importance of tuning a search algorithm for the specific features of the target search space has been known for quite some time. However, when dealing with multiobjective prob...
177
click to vote
SIGUCCS
2006
ACM
16 years 23 days ago
2006
ACM
As technology permeates more aspects of our everyday lives, greater demands are placed on information technology personnel. Lehigh University computing consultants have found thei...
186
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...
204
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...