732 search results - page 79 / 147 » Automated Test Generation from Models Based on Functional So... |
147
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
106
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
123
Voted
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
143
Voted
COMPUTER
2004
15 years 2 months ago
2004
, abstracts each virtual machine's view of its storage and networks, and binds virtual machines across nodes into isolated virtual farms. The SoftUDC control system spans all ...
119
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...