452 search results - page 72 / 91 » Symbolic Execution of Behavioral Requirements |
111
Voted
LCR
1998
Springer
15 years 3 months ago
1998
Springer
There is an emerging class of real-time interactive applications that require the dynamic integration of task and data parallelism. An example is the Smart Kiosk, a free-standing ...
83
Voted
EUROPAR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
FC
2006
Springer
15 years 2 months ago
2006
Springer
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
85
Voted
HYBRID
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
79
Voted
ASWEC
2008
IEEE
15 years 26 days ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...