3579 search results - page 338 / 716 » Transformations of software models into performance models |
185
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
185
Voted
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
216
click to vote
CC
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
238
Voted
DEXAW
2008
IEEE
15 years 9 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
225
Voted
EMSOFT
2009
Springer
16 years 4 days ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...