Sciweavers

2796 search results - page 325 / 560
» A time structure based software reliability model
Sort
View
ICDE
2005
IEEE
149views Database» more  ICDE 2005»
16 years 6 months ago
Change Tolerant Indexing for Constantly Evolving Data
Index structures are designed to optimize search performance, while at the same time supporting efficient data updates. Although not explicit, existing index structures are typica...
Reynold Cheng, Yuni Xia, Sunil Prabhakar, Rahul Sh...
ISAAC
2009
Springer
101views Algorithms» more  ISAAC 2009»
15 years 11 months ago
Maintaining Nets and Net Trees under Incremental Motion
The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...
Minkyoung Cho, David M. Mount, Eunhui Park
ESOP
2000
Springer
15 years 8 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
114
Voted
VLSID
2008
IEEE
95views VLSI» more  VLSID 2008»
16 years 5 months ago
A New Threshold Voltage Model for Omega Gate Cylindrical Nanowire Transistor
In this work, for the first time, we present a physically based analytical threshold voltage model for omega gate silicon nanowire transistor. This model is developed for long cha...
Biswajit Ray, Santanu Mahapatra
CSIE
2009
IEEE
15 years 11 months ago
Discriminative Random Fields for Behavior Modeling
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
Tianyu Huang, Chongde Shi, Fengxia Li