62 search results - page 7 / 13 » Quantitative Synthesis for Concurrent Programs |
LCTRTS
2010
Springer
13 years 7 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
ICCAD
2004
IEEE
14 years 6 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
HIS
2007
13 years 11 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...