2278 search results - page 337 / 456 » Specification Techniques for Automatic Performance Analysis ... |
DAC
2006
ACM
16 years 17 days ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
NCA
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
93
Voted
CC
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
120
click to vote
LREC
2008
15 years 1 months ago
2008
This paper describes Eksairesis, a system for learning economic domain knowledge automatically from Modern Greek text. The knowledge is in the form of economic terms and the seman...
150
click to vote
NPAR
2010
ACM
14 years 11 months ago
2010
ACM
The field of non-photorealistic rendering is reaching a mature state. In its infancy, researchers explored the mimicry of methods and tools used by traditional artists to generate...