|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 25 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chuanfu Chen, Yuan Yu, Qiong Tang, Kuei Chiu, Yan Rao, Xuan Huang, Kai Sun |
Assessing the authority of free online scholarly information.  |
Scientometrics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengping Qian, Xiuwei Chen, Nanxi Kang, Mingcheng Chen, Yuan Yu, Thomas Moscibroda, Zheng Zhang |
MadLINQ: large-scale distributed matrix computation for the cloud. |
EuroSys |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Gordon Murray, Michael Isard, Yuan Yu |
Steno: automatic optimization of declarative queries. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Yu, Yingbo Hua |
Power allocation for a MIMO relay system with multiple-antenna users. |
IEEE Transactions on Signal Processing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang |
Nectar: Automatic Management of Data and Computation in Datacenters. |
OSDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su |
Scalable and systematic detection of buggy inconsistencies in source code. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua |
Further Development of Synchronous Array Method for Ad Hoc Wireless Networks. |
EURASIP J. Adv. Sig. Proc. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum |
BotGraph: Large Scale Spamming Botnet Detection. |
NSDI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yuan Yu, Pradeep Kumar Gunda, Michael Isard |
Distributed aggregation for data-parallel computing: interfaces and implementations. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
concurrency, cloud computing, distributed programming |
| 1 | Yuan Yu, Yunquan Zhang, Ting Wang, Jiachang Sun, Xianyi Zhang, Yuxin Tang, Li Rao |
Early Performance Evaluation of Dawning 5000A and DeepComp 7000. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Isard, Yuan Yu |
Distributed data-parallel computing using a high-level programming language. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
concurrency, cloud computing, distributed programming |
| 1 | Yuan Yu, Yi Huang, Bin Zhao, Yingbo Hua |
Throughput analysis of wireless mesh networks. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey |
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Congjing Ran, Mojun Li |
An Assessment of the Currency of Free Science Information on the Web. |
WISE Workshops |
2007 |
DBLP DOI BibTeX RDF |
free science information on the web, assessment instruments, Internet, timeliness, currency |
| 1 | Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly |
Dryad: distributed data-parallel programs from sequential building blocks. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
concurrency, cluster computing, distributed programming, dataflow |
| 1 | Yuan Yu, Tom Rodeheffer, Wei Chen |
RaceTrack: efficient detection of data race conditions via adaptive tracking. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
virtual machine instrumentation, race detection |
| 1 | Serdar Tasiran, Yuan Yu, Brannon Batson |
Linking Simulation with Formal Verification at a Higher Level. |
IEEE Design & Test of Computers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu |
Checking Cache-Coherence Protocols with TLA+. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
TLC, model checking, cache coherence, TLA+ |
| 1 | Serdar Tasiran, Yuan Yu, Brannon Batson |
Using a formal specification and a model checker to monitor and direct simulation. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
model checking, specification, abstraction, coverage |
| 1 | Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu |
Specifying and verifying systems with TLA+. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Heydon, Roy Levin, Yuan Yu |
Caching function calls using precise dependencies. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Yu, Panagiotis Manolios, Leslie Lamport |
Model Checking TLA+ Specifications. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu |
Cache Coherence Verification with TLA+. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Boyer, Yuan Yu |
Automated Proofs of Object Code for a Widely Used Microprocessor. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code |
| 1 | Robert S. Boyer, Yuan Yu |
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification |
| 1 | Yuan Yu |
Computer Proofs in Group Theory. |
J. Autom. Reasoning |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")