4061 search results - page 395 / 813 » Framework Evolution Tool |
206
Voted
FPL
2007
Springer
16 years 1 months 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...
228
Voted
EUROMICRO
2006
IEEE
16 years 1 months 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...
329
click to vote
KCAP
2005
ACM
16 years 1 months 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...
189
Voted
ESA
2005
Springer
16 years 1 months 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...
199
Voted
SEKE
2005
Springer
16 years 1 months 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...