4061 search results - page 395 / 813 » Framework Evolution Tool |
184
click to vote
FPL
2007
Springer
16 years 29 days ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
210
click to vote
EUROMICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
305
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
166
click to vote
ESA
2005
Springer
16 years 10 days ago
2005
Springer
The input to the minimum latency set cover problem (MLSC) consists of a set of jobs and a set of tools. Each job j needs a specific subset Sj of the tools in order to be processed...
179
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...