3750 search results - page 129 / 750 » Timed Automata Patterns |
119
click to vote
RTAS
2003
IEEE
15 years 7 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...
145
Voted
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
126
Voted
WABI
2001
Springer
15 years 7 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
106
Voted
ETFA
2006
IEEE
15 years 8 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...
110
click to vote
GLVLSI
2006
IEEE
15 years 8 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 ...