Sciweavers

419 search results - page 64 / 84
» A Thread of HOL Development
Sort
View
PVM
2007
Springer
16 years 16 days 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»
16 years 11 days 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
16 years 11 days 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....
PPOPP
2006
ACM
16 years 11 days 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 12 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 ...