Sciweavers

2861 search results - page 451 / 573
» The multi-layered network design problem
Sort
View
IEEECIT
2010
IEEE
13 years 7 months ago
Technical Research of Streaming Media Video Course Development Platform
—To solve the problem of streaming video courseware high production cost and low efficiency, the video recording and broadcasting system "Estone" gathering multimedia d...
Qingsheng Li, Jipeng Wang
TOPLAS
2008
79views more  TOPLAS 2008»
13 years 7 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
CSCWD
2009
Springer
13 years 7 months ago
The analysis and development of Taiwan's industrial logistics hubs
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
Charles V. Trappey, Amy J. C. Trappey, Gilbert Y. ...
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 3 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
ICASSP
2011
IEEE
13 years 1 months ago
Compressed classification of observation sets with linear subspace embeddings
We consider the problem of classification of a pattern from multiple compressed observations that are collected in a sensor network. In particular, we exploit the properties of r...
Dorina Thanou, Pascal Frossard