10159 search results - page 451 / 2032 » System Design Validation Using Formal Models |
130
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
170
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
163
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
144
Voted
COLING
2010
14 years 11 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
144
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...