7430 search results - page 724 / 1486 » Programming Applications in CIFF |
203
click to vote
DAGSTUHL
2004
15 years 9 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
200
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
186
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
217
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
239
click to vote
CL
2007
Springer
15 years 7 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...