Sciweavers

483 search results - page 4 / 97
» Asynchronous software thread integration for efficient softw...
Sort
View
EUROSYS
2006
ACM
15 years 10 months ago
Evaluating network processing efficiency with processor partitioning and asynchronous I/O
Tim Brecht, G. John Janakiraman, Brian Lynn, Vikra...
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 7 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner
105
Voted
SPIN
2005
Springer
15 years 6 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
116
Voted
PPPJ
2003
ACM
15 years 6 months ago
Efficient Java thread serialization
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
Sara Bouchenak, Daniel Hagimont, Noel De Palma
114
Voted
ARC
2010
Springer
183views Hardware» more  ARC 2010»
15 years 1 months ago
Integrated Design Environment for Reconfigurable HPC
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
Lilian Janin, Shoujie Li, Doug Edwards