Sciweavers

8109 search results - page 327 / 1622
» A Model of Component-Based Programming
Sort
View
POPL
2003
ACM
16 years 7 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
158
Voted
HYBRID
2005
Springer
16 years 6 days ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
HIPS
1998
IEEE
15 years 11 months ago
Implementing Automatic Coordination on Networks of Workstations
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...
Christian Weiß, Jürgen Knopp, Hermann H...
BIBE
2004
IEEE
15 years 10 months ago
Efficient Methods for Generating Optimal Single and Multiple Spaced Seeds
Biologists highly rely on good algorithms for finding homologous regions in bimolecular sequences. An advanced homology search program named PatternHunter has recently been develo...
I-Hsuan Yang, Sheng-Ho Wang, Yang-Ho Chen, Pao-Hsi...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...