3931 search results - page 392 / 787 » Separation logic and abstraction |
201
click to vote
ARITH
2005
IEEE
16 years 1 months 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...
223
click to vote
ICPPW
2005
IEEE
16 years 1 months 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...
200
click to vote
INFOCOM
2005
IEEE
16 years 1 months 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...
186
click to vote
ECOOP
2010
Springer
16 years 15 days 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 ...
201
click to vote
UML
2001
Springer
16 years 3 days 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...