1953 search results - page 141 / 391 » Embedded Probabilistic Programming |
101
click to vote
TSMC
2008
15 years 2 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
171
click to vote
JAVACARD
2000
15 years 6 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
148
click to vote
OMER
2001
15 years 3 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
102
click to vote
JUCS
2007
15 years 2 months ago
2007
Scripting languages are used in conjuction with C code in two ways: as extension languages, where the interpreter is embedded as a library into an application; or as extensible lan...
101
click to vote
ISCI
2008
15 years 2 months ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...