899 search results - page 128 / 180 » A CTL-Based Logic for Program Abstractions |
99
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
96
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
105
Voted
PADL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
133
click to vote
DEDS
2000
15 years 8 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...