2860 search results - page 410 / 572 » The Greenfoot Programming Environment |
198
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
171
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
157
click to vote
SIGCSE
2005
ACM
16 years 2 days ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
173
click to vote
AADEBUG
2005
Springer
16 years 2 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
170
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...