3931 search results - page 392 / 787 » Separation logic and abstraction |
182
click to vote
ARITH
2005
IEEE
16 years 18 days ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
211
click to vote
ICPPW
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
183
click to vote
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...
163
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...
172
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...