Sciweavers

1767 search results - page 256 / 354
» Open Source Ecology
Sort
View
EMSOFT
2005
Springer
15 years 9 months ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
FROCOS
2005
Springer
15 years 9 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
HIPEAC
2005
Springer
15 years 9 months ago
Memory-Centric Security Architecture
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
Weidong Shi, Chenghuai Lu, Hsien-Hsin S. Lee
ISMDA
2005
Springer
15 years 9 months ago
Biomedical Image Processing Integration Through INBIOMED: A Web Services-Based Platform
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
David Rey, José Crespo, Alberto Anguita, Ju...
NIME
2005
Springer
163views Music» more  NIME 2005»
15 years 9 months ago
ixi software: The Interface as Instrument
This paper describes the audio human computer interface experiments of ixi in the past and outlines the current platform for future research. ixi software [5] was founded by Thor ...
Thor Magnusson