1606 search results - page 74 / 322 » XML-based programming language modeling: An approach to soft... |
217
click to vote
IFIP
2010
Springer
15 years 22 days ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
168
click to vote
SEKE
2007
Springer
16 years 10 hour ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
188
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
165
click to vote
PEPM
2012
ACM
14 years 1 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
203
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...