2935 search results - page 395 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
EMNETS
2007
15 years 10 months ago
2007
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
167
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Flash memory is the largest change to storage in recent history. To date, most research has focused on integrating flash as persistent storage in file systems, with little emphasi...
182
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
During System on Chip (SoC) design, Network on Chip (NoC) prototyping is used for adapting NoC parameters to the application running on the chip. This prototyping is currently don...
180
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
187
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...