7580 search results - page 1060 / 1516 » Prometheus design tool |
209
click to vote
LCTRTS
2007
Springer
16 years 1 months 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...
235
click to vote
LION
2007
Springer
16 years 1 months 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...
210
click to vote
SIGUCCS
2006
ACM
16 years 1 months 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...
224
Voted
ICRA
2005
IEEE
16 years 1 months 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...
240
click to vote
KBSE
2005
IEEE
16 years 1 months 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...