5718 search results - page 22 / 1144 » Modeling Rule Precision |
149
Voted
DSRT
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we report on a series of experiments involving the speedups obtainable with time-parallel simulation of wireless ad hoc networks. A mobile ad hoc network scenario i...
152
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
104
click to vote
CRV
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
127
Voted
WABI
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Applied Biosystems’ SOLiD system offers a low-cost alternative to the traditional Sanger method of DNA sequencing. We introduce two main algorithms of mapping SOLiD’...
123
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...