3799 search results - page 625 / 760 » An Engineering Approach to Formal Methods |
141
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
132
click to vote
DAGSTUHL
2010
15 years 6 months ago
2010
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
149
Voted
AROBOTS
2008
15 years 5 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
161
Voted
JSAC
2006
15 years 5 months ago
2006
Abstract--Network performance can be increased if the traditionally separated network layers are jointly optimized. Recently, network utility maximization has emerged as a powerful...
145
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...