5639 search results - page 206 / 1128 » Timed Abstract Non-interference |
109
click to vote
ERCIMDL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Digital Library support for textual and certain types of nontextual documents has significantly advanced over the last years. While Digital Library support implies many a...
140
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
149
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— MaxWeight algorithm, a.k.a., back-pressure algorithm, has received much attention as a viable solution for dynamic link scheduling in multi-hop wireless networks. The b...
97
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
119
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...