Sciweavers

1711 search results - page 93 / 343
» Completing pseudojump operators
Sort
View
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
14 years 1 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
CIE
2005
Springer
14 years 1 months ago
How to Compare the Power of Computational Models
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
Udi Boker, Nachum Dershowitz
ESWS
2005
Springer
14 years 1 months ago
Pedro Ontology Services: A Framework for Rapid Ontology Markup
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
Kevin L. Garwood, Phillip W. Lord, Helen Parkinson...
EUC
2005
Springer
14 years 1 months ago
ANTS: An Evolvable Network of Tiny Sensors
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...
Daeyoung Kim, Tomás López, Seongeun ...
PVM
2005
Springer
14 years 1 months ago
An Evaluation of Implementation Options for MPI One-Sided Communication
MPI defines one-sided communication operations—put, get, and accumulate—together with three different synchronization mechanisms that define the semantics associated with th...
William D. Gropp, Rajeev Thakur