Search Sciweavers | Sciweavers

1133 search results - page 5 / 227

» Local Logics for Traces

click to vote

IISWC
2009
IEEE

115views Operating System» more IISWC 2009»

Logicalization of communication traces from parallel execution

14 years 2 months ago

Download www2.cs.uh.edu

—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...

Qiang Xu, Jaspal Subhlok, Rong Zheng, Sara Voss

claim paper

Read More »

click to vote

ICDE
2011
IEEE

224views Database» more ICDE 2011»

SmartTrace: Finding similar trajectories in smartphone networks without disclosing the traces

12 years 11 months ago

Download www.cs.ucy.ac.cy

—In this demonstration paper, we present a powerful distributed framework for ﬁnding similar trajectories in a smartphone network, without disclosing the traces of participatin...

Costandinos Costa, Christos Laoudias, Demetrios Ze...

claim paper

Read More »

click to vote

PODC
1996
ACM

107views Distributed and Parallel Com...» more PODC 1996»

Automated Logical Verification Based on Trace Abstractions

13 years 11 months ago

Download www.brics.dk

95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...

Nils Klarlund, Mogens Nielsen, Kim Sunesen

claim paper

Read More »

click to vote

FUZZY
2001
Springer

139views Fuzzy Logic» more FUZZY 2001»

Neural Model Identification Using Local Robustness Analysis

13 years 12 months ago

Download www.inf.utfsm.cl

Héctor Allende, Claudio Moraga, Rodrigo Sal...

claim paper

Read More »