2878 search results - page 166 / 576 » Analyzing the Uses of a Software Modeling Tool |
135
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
167
Voted
VMCAI
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
244
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
144
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
180
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...