Sciweavers

3302 search results - page 555 / 661
» Software Is More Than Code
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 9 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
ISPASS
2003
IEEE
15 years 9 months ago
Performance study of a cluster runtime system for dynamic interactive stream-oriented applications
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
Arnab Paul, Nissim Harel, Sameer Adhikari, Bikash ...
ESEC
1999
Springer
15 years 8 months ago
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Van...
ERCIMDL
2000
Springer
185views Education» more  ERCIMDL 2000»
15 years 7 months ago
CORC: Helping Libraries Take a Leading Role in the Digital Age
The OCLC Cooperative Online Resource Catalog is helping librarians thrive in the digital age. Librarians are using CORC to select, describe, maintain, and provide guided access to ...
Kay Covert
BMCBI
2010
151views more  BMCBI 2010»
15 years 4 months ago
CCRaVAT and QuTie - enabling analysis of rare variants in large-scale case control and quantitative trait association studies
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...