Sciweavers

1010 search results - page 131 / 202
» System and Framework for QA of Process Design Kits
Sort
View
MKM
2005
Springer
14 years 2 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...
ISTA
2007
13 years 10 months ago
Knowledge and Metadata Integration for Warehousing Complex Data
: With the ever-growing availability of so-called complex data, especially on the Web, decision-support systems such as data warehouses must store and process data that are not onl...
Jean-Christian Ralaivao, Jérôme Darmo...
EUROMICRO
2005
IEEE
14 years 2 months ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
FPL
2007
Springer
124views Hardware» more  FPL 2007»
14 years 2 months ago
HARTES Toolchain Early Evaluation: Profiling, Compilation and HDL Generation
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
Koen Bertels, Georgi Kuzmanov, Elena Moscu Panaint...
MODELS
2009
Springer
14 years 3 months ago
Modeling Heterogeneous Points of View with ModHel'X
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
Frédéric Boulanger, Christophe Jacqu...