5377 search results - page 796 / 1076 » Programming Languages For Interactive Computing |
129
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
140
click to vote
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
128
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
132
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
141
click to vote
ISCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Future parallel computers must efficiently execute not only hand-coded applications but also programs written in high-level, parallel programming languages. Today's machines ...