5330 search results - page 300 / 1066 » The Performability Tool P'ility |
204
click to vote
KBSE
2003
IEEE
16 years 22 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
184
click to vote
AIME
2003
Springer
16 years 21 days ago
2003
Springer
The aim of the NEONATE project is to investigate sub-optimal decision making in the neonatal intensive care unit and to implement decision support tools which will draw the attenti...
214
Voted
HYBRID
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
160
Voted
MSR
2010
ACM
16 years 16 days ago
2010
ACM
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...
197
click to vote
ECBS
2002
IEEE
16 years 12 days ago
2002
IEEE
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...