4745 search results - page 553 / 949 » Discretization: An Enabling Technique |
172
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
190
click to vote
MOBISYS
2007
ACM
16 years 7 months ago
2007
ACM
Location-awareness is an important requirement for many mobile wireless applications today. When GPS is not applicable because of the required precision and/or the resource constr...
189
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
193
click to vote
VMCAI
2010
Springer
16 years 5 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
172
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. This paper describes the first accomplishment of the Timeof-Flight (ToF) measurement principle via endoscope optics. The applicability of the approach is verified by in-v...