1173 search results - page 215 / 235 » On the Compositionality of Round Abstraction |
102
click to vote
TVLSI
1998
14 years 11 months ago
1998
Abstract— The growing popularity of look-up table (LUT)based field programmable gate arrays (FPGA’s) has renewed the interest in functional or Roth–Karp decomposition techni...
115
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider an approach to service selection wherein service consumers choose services with desired nonfunctional properties to maximize their utility. A consumer’s uti...
101
click to vote
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
MFCS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...