Sciweavers

1953 search results - page 162 / 391
» Embedded Probabilistic Programming
Sort
View
UAI
1997
15 years 6 months ago
Object-Oriented Bayesian Networks
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
Daphne Koller, Avi Pfeffer
DAC
2002
ACM
16 years 6 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
EMSOFT
2007
Springer
15 years 11 months ago
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
Haifeng He, Saumya K. Debray, Gregory R. Andrews
MSE
2005
IEEE
154views Hardware» more  MSE 2005»
15 years 10 months ago
A Platform FPGA-Based Hardware-Software Undergraduate Laboratory
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced course offerings vary, and are often not availabl...
Joseph Schneider, Mikel Bezdek, Ziyu Zhang, Zhao Z...
TASE
2007
IEEE
15 years 11 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...