Sciweavers

1678 search results - page 160 / 336
» An ASM Specification of C
Sort
View
PODS
2008
ACM
128views Database» more  PODS 2008»
16 years 6 months ago
Shape sensitive geometric monitoring
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
Izchak Sharfman, Assaf Schuster, Daniel Keren
PEWASUN
2006
ACM
15 years 12 months ago
Experimental analysis of a transport protocol for ad hoc networks (TPA)
Many previous papers have pointed out that TCP performance in multi-hop ad hoc networks is not optimal. This is due to several TCP design principles that reflect the characteristi...
Giuseppe Anastasi, Emilio Ancillotti, Marco Conti,...
CASES
2004
ACM
15 years 11 months ago
Safely exploiting multithreaded processors to tolerate memory latency in real-time systems
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
Ali El-Haj-Mahmoud, Eric Rotenberg
PETRA
2010
ACM
15 years 8 months ago
Benchmarking dynamic time warping for music retrieval
We study the performance of three dynamic programming methods on music retrieval. The methods are designed for time series matching but can be directly applied to retrieval of mus...
Jefrey Lijffijt, Panagiotis Papapetrou, Jaakko Hol...
BMCBI
2010
119views more  BMCBI 2010»
15 years 6 months ago
Coherent pipeline for biomarker discovery using mass spectrometry and bioinformatics
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...
Ali Al-Shahib, Raju Misra, Nadia Ahmod, Min Fang, ...