Sciweavers

1703 search results - page 289 / 341
» Model interoperability via Model Driven Development
Sort
View
110
Voted
IPPS
2009
IEEE
15 years 9 months ago
Exploring FPGAs for accelerating the phylogenetic likelihood function
Driven by novel biological wet lab techniques such as pyrosequencing there has been an unprecedented molecular data explosion over the last 2-3 years. The growth of biological seq...
Nikolaos Alachiotis, Euripides Sotiriades, Apostol...
134
Voted
MSWIM
2009
ACM
15 years 9 months ago
Directional neighbor discovery in 60 GHz indoor wireless networks
The unlicensed 60 GHz band brings the promise of multi-gigabit data rates to support new applications such as high definition video over wireless links. Signal propagation in the...
Jianxia Ning, Tae-Suk Kim, Srikanth V. Krishnamurt...
ICCV
2007
IEEE
16 years 4 months ago
On the Differential Geometry of 3D Flow Patterns: Generalized Helicoids and Diffusion MRI Analysis
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...
Peter Savadjiev, Steven W. Zucker, Kaleem Siddiqi
CCECE
2006
IEEE
15 years 8 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ATAL
2006
Springer
15 years 6 months ago
Specifying and resolving preferences among agent interaction patterns
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
Ashok U. Mallya, Munindar P. Singh