Sciweavers

3108 search results - page 226 / 622
» The Elements of Computer Credibility
Sort
View
POPL
2003
ACM
16 years 6 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
ICCS
2007
Springer
16 years 22 days ago
Reliability of Wireless Sensor Network with Sleeping Nodes
Abstract. Energy efficiency is an important technology of sensor networks development. In this paper we offer a method of sensors lifetime maximizing under required level of netwo...
Vladimir V. Shakhov, Hyunseung Choo
VTC
2006
IEEE
16 years 17 days ago
Enhanced Packet Scheduling Algorithm Providing QoS in High Speed Downlink Packet Access
— In High Speed Downlink Packet Access (HSDPA), Packet Scheduler is a key element for high-speed and efficient transmissions. In this paper, we propose an enhanced packet schedu...
Ohyun Jo, Jong-Wuk Son, Soo-Yong Jeon, Dong-Ho Cho
CAMP
2005
IEEE
16 years 6 days ago
Development of a Bit-Level Compiler for Massively Parallel Vision Chips
Abstract— An image sensor in which each pixel has a processing element is called a vision chip. The vision chip can perform real-time visual processing at a high frame rate of 10...
Takashi Komuro, Shingo Kagami, Masatoshi Ishikawa,...
ISMAR
2005
IEEE
16 years 5 days ago
Real-Time Rendering of Realistic Trees in Mixed Reality
Mixed Reality applications put very high demands on both the visual realism and the rendering times of computer graphics elements that are to be perceived as part of the physical ...
Alberto Candussi, Tobias Höllerer, Nicola Can...