Sciweavers

1223 search results - page 165 / 245
» An Attributive Logic of Set Descriptions and Set Operations
Sort
View
IPPS
2006
IEEE
15 years 6 months ago
Performance analysis of parallel programs via message-passing graph traversal
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
Matthew J. Sottile, Vaddadi P. Chandu, David A. Ba...
SEFM
2006
IEEE
15 years 6 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
15 years 5 months ago
Functional-Based Synthesis of Systolic Online Multipliers
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
Tudor Jebelean, Laura Szakacs
ICADL
2003
Springer
92views Education» more  ICADL 2003»
15 years 5 months ago
Improving Automatic Labelling through RDF Management
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
Floriana Esposito, Stefano Ferilli, Nicola Di Maur...
DSN
2000
IEEE
15 years 4 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...