2969 search results - page 186 / 594 » The Case for User-Centered CASE Tools |
217
click to vote
ERSA
2010
15 years 4 months ago
2010
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
162
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We cast model-free reinforcement learning as the problem of maximizing the likelihood of a probabilistic mixture model via sampling, addressing both the infinite and finite horizo...
153
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
158
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
188
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...