551 search results - page 102 / 111 » Formalizing the Logic-Automaton Connection |
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
IEEEIAS
2008
IEEE
14 years 2 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, towards improving spatial reuse in a cellular network, we consider augmenting it with wireless ad hoc connectivity. The coverage area of each base-station is redu...