1246 search results - page 125 / 250 » Recursive Timed Automata |
148
Voted
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
165
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—Regular expression matching (REM) with nondeterministic finite automata (NFA) can be computationally expensive when a large number of patterns are matched concurrently....
127
click to vote
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
137
Voted
GLVLSI
2006
IEEE
15 years 11 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
209
Voted
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...