99 search results - page 3 / 20 » The Implementation of the Cilk-5 Multithreaded Language |
JSS
2010
13 years 16 days ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...
JAVA
2001
Springer
13 years 10 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
ESOP
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...