Sciweavers

4263 search results - page 201 / 853
» Learning without Coding
Sort
View
DSOM
2000
Springer
15 years 6 months ago
Evaluation of Constrained Mobility for Programmability in Network Management
In recent years, a significant amount of research work has addressed the use of code mobility in network management. In this paper, we introduce first three aspects of code mobilit...
Christos Bohoris, Antonio Liotta, George Pavlou
FASE
2009
Springer
15 years 5 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
TIP
2010
132views more  TIP 2010»
15 years 9 days ago
Compress Compound Images in H.264/MPGE-4 AVC by Exploiting Spatial Correlation
—Compound images are a combination of text, graphics and natural image. They present strong anisotropic features, especially on the text and graphics parts. These anisotropic fea...
Cuiling Lan, Guangming Shi, Feng Wu
CACM
2011
96views more  CACM 2011»
14 years 9 months ago
Why STM can be more than a research toy
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...
Aleksandar Dragojevic, Pascal Felber, Vincent Gram...
CORR
2011
Springer
201views Education» more  CORR 2011»
14 years 5 months ago
An Achievable Rate Region for the Broadcast Channel with Feedback
A single-letter achievable rate region is proposed for the two-receiver discrete memoryless broadcast channel with noiseless or noisy feedback. The coding strategy involves block-...
Ramji Venkataramanan, S. Sandeep Pradhan