3342 search results - page 265 / 669 » Automating Abstract Interpretation |
116
Voted
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
136
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
145
click to vote
STTT
2008
15 years 3 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
DAC
1999
ACM
16 years 4 months ago
1999
ACM
Abstract We present a novel approach to performance optimization by integrating retiming and resynthesis. The approach is oblivious of register boundaries during resynthesis. In ad...
238
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...