620 search results - page 68 / 124 » Abstract Analysis of Symbolic Executions |
103
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
151
Voted
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Driven by the need to provision resources on demand, scientists are turning to commercial and research test-bed Cloud computing resources to run their scientific experime...
126
Voted
TII
2010
14 years 7 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
FMOODS
2007
15 years 2 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
112
click to vote
POS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...