2036 search results - page 173 / 408 » A generic type-and-effect system |
177
click to vote
DATE
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
172
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
W'e consider the kinematic model of a vehicle moving forward with a lower bounded turning radius. This model, is relevant to describe the kinematics of road vehicles as well ...
192
click to vote
COST
1997
Springer
15 years 11 months ago
1997
Springer
: Automated processes in distributed communication environments require tools for unifying heterogeneous multimedia services. The Teleservice Descriptor is introduced for generic h...
179
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
209
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...