2542 search results - page 462 / 509 » An Operational Definition of Context |
145
click to vote
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
119
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
128
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by reļ¬ning the type system of ML with a rest...
108
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
AbstractāThis paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
212
click to vote
Publication
he signiļ¬cant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...