660 search results - page 113 / 132 » Timed automata based analysis of embedded system architectur... |
131
click to vote
BICOB
2010
Springer
15 years 2 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
151
Voted
IPSN
2011
Springer
14 years 1 months ago
2011
Springer
Buildings are known to be the largest consumers of electricity in the United States, and often times the dominant energy consumer is the HVAC system. Despite this fact, in most bu...
FPGA
2007
ACM
15 years 3 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
93
Voted
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...