3820 search results - page 437 / 764 » Bounded Model Debugging |
121
click to vote
MJ
2008
15 years 2 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
138
click to vote
SEUS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
140
Voted
WABI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Applied Biosystems’ SOLiD system offers a low-cost alternative to the traditional Sanger method of DNA sequencing. We introduce two main algorithms of mapping SOLiD’...
139
click to vote
ACL
2010
15 years 1 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...
149
click to vote
APN
2010
Springer
15 years 1 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...