1989 search results - page 262 / 398 » Set functions for functional logic programming |
140
click to vote
SODA
2010
ACM
16 years 18 days ago
2010
ACM
Many NP-hard problems can be solved efficiently when the input is restricted to graphs of bounded tree-width or clique-width. In particular, by the celebrated result of Courcelle,...
106
click to vote
ICCAD
2001
IEEE
16 years 3 days ago
2001
IEEE
Redundancy-addition-and-removal is a rewiring technique which for a given target wire wt finds a redundant alternative wire wa. Addition of wa makes wt redundant and hence removab...
126
click to vote
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
128
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
125
click to vote
WSE
2005
IEEE
15 years 8 months ago
2005
IEEE
One way to improve the maintainability of a web application is to separate its presentation from the business logic. Such separation not only makes a web application easier to evo...