2364 search results - page 433 / 473 » An Engine for Computing Well-Founded Models |
131
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...
131
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Critical infrastructures like the power grid are emerging as collection of existing separated systems of different nature which are interconnected together. Their criticality becom...
136
Voted
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
146
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
146
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...