Sciweavers

288 search results - page 17 / 58
» The WarpIV Simulation Kernel
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
13 years 7 months ago
Simulations Up-to and Canonical Preorders: (Extended Abstract)
d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
BMCBI
2008
138views more  BMCBI 2008»
13 years 7 months ago
Information transfer in signaling pathways: A study using coupled simulated and experimental data
Background: The topology of signaling cascades has been studied in quite some detail. However, how information is processed exactly is still relatively unknown. Since quite divers...
Jürgen Pahle, Anne K. Green, C. Jane Dixon, U...
TON
2010
189views more  TON 2010»
13 years 2 months ago
Analysis, Simulation, and Implementation of VCP: A Wireless Profiling
Abstract--Every congestion control protocol operating in wireless networks is potentially faced with two major challenges of performance degradation. These sources are (a) the coup...
Xiaolong Li, Homayoun Yousefi'zadeh
SIGOPS
2008
122views more  SIGOPS 2008»
13 years 7 months ago
Do commodity SMT processors need more OS research?
The availability of Simultaneous Multithreading (SMT) in commodity processors such as the Pentium 4 (P4) has raised interest among OS researchers. While earlier simulation studies...
Yaoping Ruan, Vivek S. Pai, Erich M. Nahum, John M...
ENTCS
2008
118views more  ENTCS 2008»
13 years 7 months ago
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...