3429 search results - page 312 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
165
click to vote
POPL
2012
ACM
14 years 11 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
130
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
134
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
142
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
128
click to vote
ECSA
2008
Springer
15 years 6 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...