Sciweavers

1812 search results - page 155 / 363
» Signal Processing in Large Systems: a New Paradigm
Sort
View
ICC
2011
IEEE
206views Communications» more  ICC 2011»
12 years 7 months ago
Unveiling the Content-Centric Features of TCP
—Content-centric networking has been proposed as a new networking paradigm that is centered around the distribution of content. A key idea of content-centric networks is to addre...
Suman Srinivasan, Ivica Rimac, Volker Hilt, Moritz...
ICSE
2003
IEEE-ACM
14 years 8 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
CSMR
2008
IEEE
14 years 2 months ago
Automatic Support for the Migration Towards Aspects
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
Mariano Ceccato
JSA
2008
94views more  JSA 2008»
13 years 8 months ago
Energy reduction through crosstalk avoidance coding in networks on chip
Commercial designs are currently integrating from 10 to 100 embedded processors in a single system on chip (SoC) and the number is likely to increase significantly in the near fut...
Partha Pratim Pande, Amlan Ganguly, Haibo Zhu, Cri...
HICSS
2006
IEEE
165views Biometrics» more  HICSS 2006»
14 years 2 months ago
The Data Warehouse in a Distributed Utility Environment
Utility provisioning, Grid resource management, instant copy kiosks, and network transfers provide an exciting new paradigm for data warehouse functions. Grid technologies are fas...
Charles A. Milligan