Sciweavers

34181 search results - page 206 / 6837
» Computer system
Sort
View
AISC
2004
Springer
15 years 11 months ago
Proving and Constraint Solving in Computational Origami
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit...
RTSS
2003
IEEE
16 years 15 days ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
PERVASIVE
2004
Springer
16 years 18 days ago
Issues with RFID Usage in Ubiquitous Computing Applications
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation technology in the ubiquitous computing domain. In this paper we present various s...
Christian Floerkemeier, Matthias Lampe
IJBC
2008
112views more  IJBC 2008»
15 years 7 months ago
Computation and Visualization of bifurcation Surfaces
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
Dirk Stiefs, Thilo Gross, Ralf Steuer, Ulrike Feud...
ASPLOS
2010
ACM
16 years 2 months ago
The Scalable Heterogeneous Computing (SHOC) benchmark suite
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...
Anthony Danalis, Gabriel Marin, Collin McCurdy, Je...