1492 search results - page 249 / 299 » Concurrent programming in VISO |
IIE
2007
15 years 1 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
107
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
127
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
119
click to vote
DFT
2006
IEEE
15 years 7 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
106
click to vote
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...