1737 search results - page 328 / 348 » On Interpolation in Existence Logics |
156
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
171
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
194
click to vote
XPU
2004
Springer
15 years 11 months ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...
179
click to vote
BIBE
2003
IEEE
15 years 11 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
164
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
To achieve high instruction throughput, instruction schedulers must be capable of producing high-quality schedules that maximize functional unit utilization while at the same time...