620 search results - page 63 / 124 » Abstract Analysis of Symbolic Executions |
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—This paper analyzes energy characteristics of parallel algorithms executed on scalable multicore processors. Specifically, we provide a methodology for evaluating energ...
106
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
127
click to vote
ER
1998
Springer
15 years 4 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
85
Voted
TR
2008
15 years 13 days ago
2008
Abstract--As an alternative to traditional life testing, degradation tests can be effective in assessing product reliability when measurements of degradation leading to failure can...
102
click to vote
QI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...