620 search results - page 76 / 124 » Abstract Analysis of Symbolic Executions |
ASAP
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
109
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Virtualization technology has been gaining acceptance in the scientific community due to its overall flexibility in running HPC applications. It has been reported that a ...
107
click to vote
ICWE
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
78
Voted
WDAG
2007
Springer
15 years 6 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
111
Voted
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Sensor networks have evolved to a powerful infrastructure component for event monitoring in many application scenarios. In addition to simple filter and aggregation op...