Sciweavers

2722 search results - page 352 / 545
» Automating Language Evolution
Sort
View
ICSE
1997
IEEE-ACM
15 years 8 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
POPL
1993
ACM
15 years 8 months ago
Graph Types
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
Nils Klarlund, Michael I. Schwartzbach
154
Voted
DATE
2004
IEEE
109views Hardware» more  DATE 2004»
15 years 7 months ago
RTL Processor Synthesis for Architecture Exploration and Implementation
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
Oliver Schliebusch, Anupam Chattopadhyay, Rainer L...
LREC
2010
163views Education» more  LREC 2010»
15 years 5 months ago
Feasibility of Automatically Bootstrapping a Persian WordNet
In this paper we describe a proof-of-concept for the bootstrapping of a Persian WordNet. This effort was motivated by previous work done at Stanford University on bootstrapping an...
Chris Irwin Davis, Dan I. Moldovan
103
Voted
LREC
2010
112views Education» more  LREC 2010»
15 years 5 months ago
Principled Construction of Elicited Imitation Tests
In this paper we discuss the methodology behind the construction of elicited imitation (EI) test items. First we examine varying uses for EI tests in research and in testing overa...
Carl Christensen, Ross Hendrickson, Deryle Lonsdal...