Sciweavers

433 search results - page 47 / 87
» FAST-EVP: An Engine Simulation Tool
Sort
View
MSE
2005
IEEE
133views Hardware» more  MSE 2005»
14 years 2 months ago
Embedded System Design with FPGAs Using HDLs (Lessons Learned and Pitfalls to Be Avoided)
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
R. James Duckworth
FOSSACS
2003
Springer
14 years 1 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
SAFECOMP
1999
Springer
14 years 29 days ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
DATE
2004
IEEE
118views Hardware» more  DATE 2004»
14 years 13 days ago
SCORE: SPICE COmpatible Reluctance Extraction
Presently, a necessary modification to mainstream analysis tools prevents the direct application of reluctance k. In this paper, we propose a reluctance realization algorithm (RRA...
Rong Jiang, Charlie Chung-Ping Chen
AIIDE
2008
13 years 11 months ago
OpenNERO: A Game Platform for AI Research and Education
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
Igor Karpov, John Sheblak, Risto Miikkulainen