Sciweavers

1665 search results - page 180 / 333
» Design Patterns as Language Constructs
Sort
View
145
Voted
TJS
2002
118views more  TJS 2002»
15 years 2 months ago
The MAGNeT Toolkit: Design, Implementation and Evaluation
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
Wu-chun Feng, Mark K. Gardner, Jeffrey R. Hay
106
Voted
ICFP
2005
ACM
16 years 2 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
KBSE
2010
IEEE
15 years 1 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
129
Voted
TAMODIA
2004
15 years 4 months ago
Task models and interaction models in a multiple user interfaces generation process
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
Kinan Samaan, Franck Tarpin-Bernard
132
Voted
PLDI
2004
ACM
15 years 8 months ago
Jedd: a BDD-based relational extension of Java
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
Ondrej Lhoták, Laurie J. Hendren