Sciweavers

419 search results - page 64 / 84
» A Thread of HOL Development
Sort
View
PVM
2007
Springer
15 years 11 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...
130
Voted
MM
2006
ACM
119views Multimedia» more  MM 2006»
15 years 11 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 11 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....
PPOPP
2006
ACM
15 years 11 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 10 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 ...