1587 search results - page 40 / 318 » Software Engineering Programmes are not Computer Science Pro... |
133
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
106
click to vote
IWPC
2007
IEEE
15 years 8 months ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
106
click to vote
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
112
click to vote
HICSS
1995
IEEE
15 years 5 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
A fundamental problem of finding applications that are highly relevant to development tasks is the mismatch between the high-level intent reflected in the descriptions of these ...