en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Setty
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(23)
tags
dblp
2008
hadoop
optimization
datamining
massive
largescale
performance
No matching items.
Taking proof-based verified computation a few steps closer to practicality extended version.
Srinath T. V. Setty
,
Victor Vu
,
Nikhil Panpalia
,
Benjamin Braun
,
Andrew J. Blumberg
, and
Michael Walfish
.
IACR Cryptology ePrint Archive
(
2012
)
Srinath T. V. Setty
,
Victor Vu
,
Nikhil Panpalia
,
Benjamin Braun
,
Andrew J. Blumberg
, and
Michael Walfish
.
IACR Cryptology ePrint Archive
(
2012
)
4 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Resolving the conflict between generality and plausibility in verified computation.
Srinath T. V. Setty
,
Benjamin Braun
,
Victor Vu
,
Andrew J. Blumberg
,
Bryan Parno
, and
Michael Walfish
.
IACR Cryptology ePrint Archive
(
2012
)
Srinath T. V. Setty
,
Benjamin Braun
,
Victor Vu
,
Andrew J. Blumberg
,
Bryan Parno
, and
Michael Walfish
.
IACR Cryptology ePrint Archive
(
2012
)
4 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
HLA Type Inference via Haplotypes Identical by Descent.
Manu N. Setty
,
Alexander Gusev
, and
Itsik Pe'er
.
Journal of Computational Biology
18(3):483-493
(
2011
)
Manu N. Setty
,
Alexander Gusev
, and
Itsik Pe'er
.
Journal of Computational Biology
18(3):483-493
(
2011
)
5 months and 10 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
PolderCast: Fast, Robust, and Scalable Architecture for P2P Topic-Based Pub/Sub.
Vinay Setty
,
Maarten van Steen
,
Roman Vitenberg
, and
Spyros Voulgaris
.
Middleware,
volume 7662 of Lecture Notes in Computer Science,
page 271-291.
Springer,
(
2012
)
Vinay Setty
,
Maarten van Steen
,
Roman Vitenberg
, and
Spyros Voulgaris
.
Middleware,
volume 7662 of Lecture Notes in Computer Science,
page 271-291.
Springer,
(
2012
)
6 months and 11 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Multi-scale computational modeling of developmental biology.
Yaki Setty
.
Bioinformatics
28(15):2022-2028
(
2012
)
Yaki Setty
.
Bioinformatics
28(15):2022-2028
(
2012
)
9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Executable Modeling of Morphogenesis: A Turing-Inspired Approach.
Yaki Setty
,
Irun R. Cohen
, and
David Harel
.
Fundam. Inform.
118(4):403-417
(
2012
)
Yaki Setty
,
Irun R. Cohen
, and
David Harel
.
Fundam. Inform.
118(4):403-417
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Depot: Cloud Storage with Minimal Trust.
Prince Mahajan
,
Srinath T. V. Setty
,
Sangmin Lee
,
Allen Clement
,
Lorenzo Alvisi
,
Michael Dahlin
, and
Michael Walfish
.
ACM Trans. Comput. Syst.
29(4):12
(
2011
)
Prince Mahajan
,
Srinath T. V. Setty
,
Sangmin Lee
,
Allen Clement
,
Lorenzo Alvisi
,
Michael Dahlin
, and
Michael Walfish
.
ACM Trans. Comput. Syst.
29(4):12
(
2011
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Depot: Cloud Storage with Minimal Trust.
Prince Mahajan
,
Srinath T. V. Setty
,
Sangmin Lee
,
Allen Clement
,
Lorenzo Alvisi
,
Michael Dahlin
, and
Michael Walfish
.
OSDI,
page 307-322.
USENIX Association,
(
2010
)
Prince Mahajan
,
Srinath T. V. Setty
,
Sangmin Lee
,
Allen Clement
,
Lorenzo Alvisi
,
Michael Dahlin
, and
Michael Walfish
.
OSDI,
page 307-322.
USENIX Association,
(
2010
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Novel mechanism for speed characterization during delay test.
Amitava Majumdar
,
Arani Sinha
,
Nehal Patel
,
Ramamurthy Setty
,
Yan Dong
, and
Shu-Hsuan Chou
.
VTS,
page 116-121.
IEEE Computer Society,
(
2011
)
Amitava Majumdar
,
Arani Sinha
,
Nehal Patel
,
Ramamurthy Setty
,
Yan Dong
, and
Shu-Hsuan Chou
.
VTS,
page 116-121.
IEEE Computer Society,
(
2011
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Hadoop++: Making a Yellow Elephant Run Like a Cheetah Without It Even Noticing.
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
2 years and 4 months ago
by
schmitz
3
datamining
hadoop
largescale
massive
datamining
hadoop
largescale
massive
URL
DOI
TeX
Hadoop++: Making a Yellow Elephant Run Like a Cheetah Without It Even Noticing.
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
2 years and 4 months ago
by
arvid.heise
3
hadoop
optimization
performance
hadoop
optimization
performance
URL
DOI
TeX
Modeling Biology using Generic Reactive Animation.
Yaki Setty
,
Irun R. Cohen
, and
David Harel
.
Fundam. Inform.
103(1-4):235-246
(
2010
)
Yaki Setty
,
Irun R. Cohen
, and
David Harel
.
Fundam. Inform.
103(1-4):235-246
(
2010
)
2 years and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A dialogue-based natural language platform for human interaction with an intelligent mining machine.
Celestine A. Ntuen
,
Eui H. Park
,
Arun A. Setty
, and
Michael S. Kim
.
Int. J. Hum. Comput. Interaction
7(3):249-272
(
1995
)
Celestine A. Ntuen
,
Eui H. Park
,
Arun A. Setty
, and
Michael S. Kim
.
Int. J. Hum. Comput. Interaction
7(3):249-272
(
1995
)
2 years and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Hadoop++: Making a Yellow Elephant Run Like a Cheetah Without It Even Noticing.
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
Jens Dittrich
,
Jorge-Arnulfo Quiané-Ruiz
,
Alekh Jindal
,
Yagiz Kargin
,
Vinay Setty
, and
Jörg Schad
.
PVLDB
3(1):518-529
(
2010
)
2 years and 7 months ago
by
dblp
3
dblp
dblp
URL
DOI
TeX
InZeit: Efficiently Identifying Insightful Time Points.
Vinay Setty
,
Srikanta J. Bedathur
,
Klaus Berberich
, and
Gerhard Weikum
.
PVLDB
3(2):1605-1608
(
2010
)
Vinay Setty
,
Srikanta J. Bedathur
,
Klaus Berberich
, and
Gerhard Weikum
.
PVLDB
3(2):1605-1608
(
2010
)
2 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Airavat: Security and Privacy for MapReduce.
Indrajit Roy
,
Srinath T. V. Setty
,
Ann Kilzer
,
Vitaly Shmatikov
, and
Emmett Witchel
.
NSDI,
page 297-312.
USENIX Association,
(
2010
)
Indrajit Roy
,
Srinath T. V. Setty
,
Ann Kilzer
,
Vitaly Shmatikov
, and
Emmett Witchel
.
NSDI,
page 297-312.
USENIX Association,
(
2010
)
2 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
HLA Type Inference via Haplotypes Identical by Descent.
Manu N. Setty
,
Alexander Gusev
, and
Itsik Pe'er
.
RECOMB,
volume 6044 of Lecture Notes in Computer Science,
page 491-505.
Springer,
(
2010
)
Manu N. Setty
,
Alexander Gusev
, and
Itsik Pe'er
.
RECOMB,
volume 6044 of Lecture Notes in Computer Science,
page 491-505.
Springer,
(
2010
)
2 years and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Crafting game-models using reactive system design.
David Harel
,
Itai Segall
,
Hillel Kugler
, and
Yaki Setty
.
Future Play,
page 121-128.
ACM,
(
2008
)
David Harel
,
Itai Segall
,
Hillel Kugler
, and
Yaki Setty
.
Future Play,
page 121-128.
ACM,
(
2008
)
4 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Concurrency in Biological Modeling: Behavior, Execution and Visualization
David Harel
,
Yaki Setty
,
Sol Efroni
,
Naamah Swerdlin
, and
Irun R. Cohen
.
Electronic Notes in Theoretical Computer Science
194(3):119--131
(
January 2008
)
David Harel
,
Yaki Setty
,
Sol Efroni
,
Naamah Swerdlin
, and
Irun R. Cohen
.
Electronic Notes in Theoretical Computer Science
194(3):119--131
(
January 2008
)
4 years and 4 months ago
by
leonardo
2
2008
2008
URL
DOI
TeX
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
David Harel
, and
Yaki Setty
.
(
2008
)
David Harel
, and
Yaki Setty
.
(
2008
)
4 years and 4 months ago
by
leonardo
2
2008
2008
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact