2488 search results - page 438 / 498 » An improvement in formal verification |
145
click to vote
ISPD
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we introduce the concept of zero-change transformations to quantify the suboptimality of existing placers. Given a netlist and its placement from a placer, we formal...
104
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
100
click to vote
WIKIS
2005
ACM
15 years 7 months ago
2005
ACM
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
108
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
107
click to vote
CC
2005
Springer
15 years 7 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...