71 search results - page 6 / 15 » The Instruction-Set Extension Problem: A Survey |
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
COMSUR
2011
12 years 7 months ago
2011
—This survey guides the reader through the extensive open literature that is covering the family of low-density paritycheck (LDPC) codes and their rateless relatives. In doing so...
CN
2002
13 years 7 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
ENTCS
2008
13 years 7 months ago
2008
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...