3796 search results - page 191 / 760 » Presentations by Programmers for Programmers |
SOFTVIS
2003
ACM
15 years 3 months ago
2003
ACM
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
62
Voted
FPL
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
71
Voted
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
Open-source software, usually created by volunteer programmers dispersed worldwide, now competes with that developed by software firms. This achievement is particularly impressive...