Sciweavers

7529 search results - page 149 / 1506
» The Modula-3 Type System
Sort
View
ISVLSI
2008
IEEE
136views VLSI» more  ISVLSI 2008»
16 years 1 months 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...
KBSE
2008
IEEE
16 years 1 months 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
TGC
2007
Springer
16 years 28 days ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper
XSYM
2005
Springer
84views Database» more  XSYM 2005»
16 years 8 days 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
SIGIR
2003
ACM
16 years 1 days ago
Decision-Theoretic Resource Selection for Different Data Types in MIND
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
Henrik Nottelmann, Norbert Fuhr