2357 search results - page 354 / 472 » Computing Refactorings of Behavior Models |
125
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
96
Voted
CONEXT
2008
ACM
15 years 4 months ago
2008
ACM
Today, a large body of research exists regarding the correctness of routing protocols. However, many reported global disruptions of Internet connectivity, e.g., inter-AS persisten...
122
Voted
FPL
2008
Springer
15 years 4 months ago
2008
Springer
We have constructed a FPGA-based "early neural circuit simulator" to model the first two stages of stimulus encoding and processing in the rat whisker system. Rats use t...
118
Voted
PDP
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents Investigation of Transient Fault Effects in an asynchronous NoC router. The experiment is based on simulation-based fault injection method to assess the fau...
112
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
This paper presents and validates methods to extend reuse distance analysis of application locality characteristics to shared-memory multicore platforms by accounting for invalidat...