2935 search results - page 86 / 587 » An Integrated Approach to High Integrity Software Verificati... |
148
click to vote
CCS
1994
ACM
15 years 8 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
143
click to vote
ARC
2010
Springer
15 years 4 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
132
click to vote
FORTE
2004
15 years 5 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper presents a framework for analyzing and designing decision-making in the context of an electricity industry or, more broadly, a stationary energy sector. It uses that fr...
148
click to vote
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a novel approach for clustering sequences of multi-dimensional trajectory data obtained from a sensor network. The sensory time-series data present new challenges to da...