Sciweavers

6299 search results - page 965 / 1260
» Data and Computation Abstractions for Dynamic and Irregular ...
Sort
View
ANTS
2006
Springer
73views Algorithms» more  ANTS 2006»
15 years 10 months ago
The Elliptic Curve Database for Conductors to 130000
Abstract. Tabulating elliptic curves has been carried out since the earliest days of machine computation in number theory. After some historical remarks, we report on significant r...
John Cremona
EUROPAR
2009
Springer
15 years 11 months ago
MyriXen: Message Passing in Xen Virtual Machines over Myrinet and Ethernet
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...
Anastassios Nanos, Nectarios Koziris
160
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
15 years 1 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
IPMI
2003
Springer
16 years 7 months ago
Quantitative Analysis of Intrathoracic Airway Trees: Methods and Validation
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway or vascular tree morphology and its associated function. Our skeletoniza...
Kálmán Palágyi, Juerg Tschirr...
WISE
2009
Springer
16 years 3 months ago
Clustering of Social Tagging System Users: A Topic and Time Based Approach
Abstract. Under Social Tagging Systems, a typical Web 2.0 application, users label digital data sources by using freely chosen textual descriptions (tags). Mining tag information r...
Vassiliki A. Koutsonikola, Athena Vakali, Eirini G...