589 search results - page 82 / 118 » Io: a small programming language |
ASPLOS
1998
ACM
15 years 1 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...
TOOLS
1997
IEEE
15 years 1 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
ICALP
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
91
Voted
FPLE
1995
15 years 1 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...