15644 search results - page 158 / 3129 » Brittle System Analysis |
174
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
175
click to vote
ACL
2012
13 years 9 months ago
2012
Social Event Radar is a new social networking-based service platform, that aim to alert as well as monitor any merchandise flaws, food-safety related issues, unexpected eruption o...
181
click to vote
DSD
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
159
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...