188 search results - page 2 / 38 » Back to the Complexity of Universal Programs |
ICPP
1998
IEEE
13 years 10 months ago
1998
IEEE
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
SIGUCCS
2000
ACM
13 years 9 months ago
2000
ACM
The University of Maryland has recently begun a partnership with Byte Back, a computer skills training program for unemployed and underemployed persons in the Washington, D.C. are...
ACE
2003
13 years 7 months ago
2003
The role of assessment in modern university curricula has become far more diverse and open to scrutiny in recent years. Although its most significant role is as a measure of a stu...
ICSM
2002
IEEE
13 years 10 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
13 years 7 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...