Sciweavers

419 search results - page 64 / 84
» A Thread of HOL Development
Sort
View
PVM
2007
Springer
15 years 5 months ago
Distributed Real-Time Computing with Harness
Abstract. Modern parallel and distributed computing solutions are often built onto a “middleware” software layer providing a higher and common level of service between computat...
Emanuele Di Saverio, Marco Cesati, Christian Di Bi...
MM
2006
ACM
119views Multimedia» more  MM 2006»
15 years 5 months ago
Fourth frame forums: interactive comics for collaborative learning
In this paper, we describe Fourth Frame Forums, an application that combines traditional four-frame comic strips with online webbased discussion forums. In this application, users...
Andrew S. Gordon
PLDI
2006
ACM
15 years 5 months ago
LOCKSMITH: context-sensitive correlation analysis for race detection
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
Polyvios Pratikakis, Jeffrey S. Foster, Michael W....
97
Voted
PPOPP
2006
ACM
15 years 5 months ago
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...
Xianghui Hu, Xinan Tang, Bei Hua
EDO
2005
Springer
15 years 5 months ago
Optimizing layered middleware
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
Ömer Erdem Demir, Premkumar T. Devanbu, Eric ...