1690 search results - page 106 / 338 » Algorithmic Properties of Millstream Systems |
176
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
117
click to vote
DIS
1998
Springer
15 years 8 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...
152
click to vote
SACI
2007
IEEE
15 years 10 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
159
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
135
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...