Sciweavers

586 search results - page 88 / 118
» A Recursive Technique for Computing Lower-Bound Performance ...
Sort
View
HPCC
2007
Springer
14 years 2 months ago
Software Pipelining for Packet Filters
Packet filters play an essential role in traffic management and security management on the Internet. In order to create software-based packet filters that are fast enough to work...
Yoshiyuki Yamashita, Masato Tsuru
SIGSOFT
2009
ACM
14 years 8 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
PADL
2010
Springer
14 years 4 months ago
An Ode to Arrows
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
Hai Liu, Paul Hudak
ISVC
2007
Springer
14 years 2 months ago
A Vision-Based Architecture for Intent Recognition
Abstract. Understanding intent is an important aspect of communication among people and is an essential component of the human cognitive system. This capability is particularly rel...
Alireza Tavakkoli, Richard Kelley, Christopher Kin...
ICIP
2000
IEEE
14 years 8 days ago
Switched Error Concealment and Robust Coding Decisions in Scalable Video Coding
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
Rui Zhang, Shankar L. Regunathan, Kenneth Rose