7781 search results - page 390 / 1557 » Experience Design |
136
Voted
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
The use of a realistic component library with multiple implementations of operators, results in cost ef cient designs; slow components can then be used on non-critical paths and t...
175
Voted
IWDM
1989
15 years 9 months ago
1989
PRISMA/DB is implementedin a parallelobject-orientedlanguage to gain insight in the usage of parallelism. This environment allows us to experiment with parallelism by simply chang...
163
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
145
click to vote
AGI
2008
15 years 6 months ago
2008
Machines significantly more intelligent than humans will require changes in our legal and economic systems in order to preserve something of our human values. An open source design...
151
Voted
CATA
2004
15 years 6 months ago
2004
This paper describes the design and implementation of functionally distributed control architecture for real-time control of robot systems. Robot systems must control several func...