Sciweavers

31686 search results - page 359 / 6338
» Resource typing in Guru
Sort
View
157
Voted
ISVLSI
2008
IEEE
136views VLSI» more  ISVLSI 2008»
16 years 16 days ago
CMOS Control Enabled Single-Type FET NASIC
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
Pritish Narayanan, Michael Leuchtenburg, Teng Wang...
169
Voted
KBSE
2008
IEEE
16 years 16 days ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
GLOBECOM
2006
IEEE
16 years 6 days ago
Analytical Investigation with Markov Models of Selective Repeat Type II Hybrid ARQ
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
Leonardo Badia, Marco Levorato, Michele Zorzi
ICSOC
2005
Springer
15 years 11 months ago
On Service Discovery Process Types
With the growing adoption of service-oriented computing, locating services becomes increasingly commonplace. Accordingly, a large number of systems for service discovery have been ...
Peer Hasselmeyer
168
Voted
XSYM
2005
Springer
84views Database» more  XSYM 2005»
15 years 11 months ago
Patterns and Types for Querying XML Documents
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
Giuseppe Castagna