269 search results - page 54 / 54 » Model-Checking Software Using Precise Abstractions |
141
Voted
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
105
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
137
Voted
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
141
Voted
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...