1342 search results - page 3 / 269 » Effectivity and effective continuity of multifunctions |
FOSSACS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
TIM
2010
13 years 2 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
IJNSEC
2008
13 years 7 months ago
2008
In flow-based mix networks, flow correlation attacks have been proposed earlier and have been shown empirically to seriously degrade mix-based anonymous communication systems. In ...
JOCN
2011
13 years 2 months ago
2011
■ Neural encoding of pitch in the auditory brainstem is known to be shaped by long-term experience with language or music, implying that early sensory processing is subject to e...