Sciweavers

7961 search results - page 292 / 1593
» Input-Output Model Programs
Sort
View
POPL
2003
ACM
16 years 4 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
HYBRID
2005
Springer
15 years 10 months 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 8 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 8 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 5 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...