1940 search results - page 54 / 388 » Graph Transformation with Variables |
102
Voted
ENTCS
2002
15 years 2 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
99
Voted
STTT
2010
15 years 28 days ago
2010
142
click to vote
IEEEHPCS
2010
15 years 15 days ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
67
Voted
CORR
2009
Springer
15 years 11 days ago
2009
Springer
112
Voted
CORR
2009
Springer
15 years 11 days ago
2009
Springer
