Sciweavers

4650 search results - page 668 / 930
» Conceptual Integration Networks
Sort
View
ICCAD
2004
IEEE
138views Hardware» more  ICCAD 2004»
16 years 3 months ago
A thermal-driven floorplanning algorithm for 3D ICs
As the technology progresses, interconnect delays have become bottlenecks of chip performance. Three dimensional (3D) integrated circuits are proposed as one way to address this p...
Jason Cong, Jie Wei, Yan Zhang
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 1 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
ECTEL
2009
Springer
16 years 1 months ago
Sharing Distributed Resources in LearnWeb2.0
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...
Fabian Abel, Ivana Marenzi, Wolfgang Nejdl, Sergej...
ICASSP
2008
IEEE
16 years 1 months ago
Polyphase speech recognition
We propose a model for speech recognition that consists of multiple semi-synchronized recognizers operating on a polyphase decomposition of standard speech features. Specifically...
Hui Lin, Jeff Bilmes
PIMRC
2008
IEEE
16 years 29 days ago
Decoding-based channel estimation for selective cooperation diversity protocols
— We describe and analyze Minimum Path Difference (MPD), a metric to improve threshold-based Selection Decodeand-Forward (SDF) protocols in cooperative wireless networks with cha...
Stefan Valentin, Tobias Volkhausen, Furuzan Atay O...