372 search results - page 44 / 75 » An Approach to Mixed Systems Co-Synthesis |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...
WSC
2001
13 years 10 months ago
2001
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
WSC
2000
13 years 10 months ago
2000
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...