1087 search results - page 53 / 218 » Modelling and Implementing Complex Systems with Timebands |
126
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
107
click to vote
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
144
click to vote
AAAI
2011
14 years 3 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
119
click to vote
RSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
162
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...