1587 search results - page 40 / 318 » Software Engineering Programmes are not Computer Science Pro... |
ACL2
2006
ACM
14 years 2 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, (...
IWPC
2007
IEEE
14 years 2 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...
VL
1996
IEEE
14 years 25 days 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...
HICSS
1995
IEEE
14 years 6 days 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
14 years 1 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 ...