2679 search results - page 88 / 536 » Experimental Models for Validating Technology |
104
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
WSC
2007
15 years 3 months ago
2007
This study proposes a multi-agent modeling and simulation approach using EGGBM (E-Government Group Behavior Model) to research complex group behavior in Egovernment implementation...
102
Voted
SIGGRAPH
1992
ACM
15 years 4 months ago
1992
ACM
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
119
Voted
ISN
2000
Springer
15 years 4 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
116
click to vote
GLVLSI
2007
IEEE
15 years 27 days ago
2007
IEEE
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...