1922 search results - page 55 / 385 » Systems biology, models, and concurrency |
131
Voted
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
97
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
229
click to vote
CRYPTO
2004
Springer
15 years 7 months ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
125
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
116
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...