5235 search results - page 485 / 1047 » Analysis of Multithreaded Programs |
225
click to vote
RECOMB
2005
Springer
16 years 8 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
204
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
185
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
191
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
259
click to vote
FSEN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...