4880 search results - page 94 / 976 » Manuals as Structured Programs |
123
click to vote
CISIS
2008
IEEE
15 years 5 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
106
Voted
JAMIA
2010
2010
The inadvertent disclosure of personal health information through peer-to-peer file sharing programs
14 years 10 months ago
Objective There has been a consistent concern about the inadvertent disclosure of personal information through peer-to-peer file sharing applications, such as Limewire and Morpheu...
149
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
128
click to vote
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
140
click to vote
PPOPP
2010
ACM
16 years 17 days ago
2010
ACM
We present Lazy Binary Splitting (LBS), a user-level scheduler of nested parallelism for shared-memory multiprocessors that builds on existing Eager Binary Splitting work-stealing...