6274 search results - page 658 / 1255 » Proofs, Programs, Processes |
176
click to vote
WICSA
2001
15 years 8 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
189
click to vote
COLING
2010
15 years 2 months ago
2010
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...
177
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
192
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
304
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...