153 search results - page 24 / 31 » Smart Simulation Using Collaborative Formal and Simulation E... |
149
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
155
Voted
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
209
click to vote
TASE
2010
IEEE
15 years 16 days ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
181
Voted
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
128
Voted
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
The Electronic Visualization Laboratory (EVL) at the University of Illinois at Chicago (UIC) has partnered with dozens of computational scientists and engineers to create visualiz...