790 search results - page 58 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
141
Voted
ENTCS
2008
15 years 3 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
108
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
140
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
138
Voted
MTV
2003
IEEE
15 years 8 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
136
Voted
JLP
2007
15 years 3 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...