shengyushen's academic research
2008年11月5日 星期三
disabling of mihuo protocol
I use amule to download resource of verycd, but it just refuse to start, and complain about low ID,
I notice that there are mihuo protocol setting, so I just disable it , and everything OK
0 评论:
发表评论
较新的帖子
较早的帖子
主页
订阅:
帖子评论 (Atom)
标签
theorem proving
(39)
program language
(29)
idea
(22)
logic
(18)
operating system
(15)
conference
(14)
model checking
(12)
EDA
(3)
tech
(3)
book
(2)
done
(2)
web
(2)
arch
(1)
music
(1)
searching
(1)
todo
(1)
favor site
citeseerx
yeeyan
digg
reddit
wikicfp
SIGPLAN
SIGSOFT
OCAML
Web_application_framework
负暄琐话
coq ref manual
coq lib reference
wikipedia
订阅
帖子
Atom
帖子
评论
Atom
评论
博客归档
►
2009
(1)
►
三月
(1)
VMCAI09: Mostly-Functional Behavior in Java Progra...
▼
2008
(84)
►
十二月
(1)
tacas 09 accepted papers
▼
十一月
(5)
centos 5.2 dont include g++ by default installatio...
exploring similarity between sub constructor
disabling of mihuo protocol
formal method to warn us about the effect of updat...
bridge the gap of my mind and the state of the art...
►
十月
(77)
ICSE 08:ReBA: Refactoring-aware Binary Adaptation ...
Incremental State-Space Exploration for Programs w...
Answering Conceptual Queries with Ferret
Bidirectionalization for Free
A Cost Semantics for Self-Adjusting Computation
Local Rely-Guarantee Reasoning
Static Contract Checking for Haskell
State-Dependent Representation Independence
a good survey of Mixed Transition Systems
usb device not recognized on CentOS 5.2 over dell ...
porting/using the state of the art applications in...
can type system be dynamic?
primitive recursion and general recursion
Handbook of Automated Reasoning
type system list
Hindley–Milner type inference algorithm
pointer type
yet another learn on dependent type
Some issue that may interference with my idea on r...
Curry-Howard correspondence
Programming in Martin-Löf's Type Theory
VMCAI 09 : Reducing Behavioural to Structural Prop...
VMCAI 09: Shape-value Abstraction for Verifying Li...
Inital consideration for regular data structure en...
VMCAI 09: LTL Generalized Model Checking Revisited...
LICS 08 paper list and their link
Design OS with full FL or Fl sematics
ICFP 08 : NixOS: A Purely Functional Linux Distrib...
ICFP 2008 paper's link
我给新来博士生的入门资料列表
Essentials of Programming Languages itpub
Richard Bornat (Middlesex page)
VMCAI 09 accepted paper and their link
Another list of ASPDAC accepted paper
ASPDAC 09 accepted paper and their link
POPL 09 accepted papers and their link
Upcoming conf
from data to structrue
Typed assembly language
A very light weight VM at application level and ca...
protect OS itself from affected
Guide to the history of web application framwork
design special hardware to boost functional langua...
►
三月
(1)
►
2007
(1)
►
七月
(1)
0 评论:
发表评论