8828 search results - page 1365 / 1766 » Formal methods in practice |
174
click to vote
OOPSLA
2004
Springer
16 years 10 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
235
click to vote
SCOPES
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
193
click to vote
SEKE
2004
Springer
16 years 10 days ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
176
click to vote
CODES
2003
IEEE
16 years 9 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
192
click to vote
ICCV
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...